12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061 |
- /**
- * \brief A constraint determines a minimum or exact spacing required between
- * two variables.
- *
- * Authors:
- * Tim Dwyer <[email protected]>
- *
- * Copyright (C) 2005 Authors
- *
- * This version is released under the CPL (Common Public License) with
- * the Graphviz distribution.
- * A version is also available under the LGPL as part of the Adaptagrams
- * project: https://github.com/mjwybrow/adaptagrams.
- * If you make improvements or bug fixes to this code it would be much
- * appreciated if you could also contribute those changes back to the
- * Adaptagrams repository.
- */
- #pragma once
- #include <iostream>
- #include <vpsc/variable.h>
- struct Constraint
- {
- friend std::ostream& operator <<(std::ostream &os,const Constraint &c);
- public:
- Variable *left;
- Variable *right;
- double gap;
- double lm;
- Constraint(Variable *left, Variable *right, double gap);
- ~Constraint();
- double slack() const { return right->position() - gap - left->position(); }
- long timeStamp;
- bool active;
- bool visited;
- };
- #include <float.h>
- #include <vpsc/block.h>
- static inline bool compareConstraints(const Constraint *const l,
- const Constraint *const r) {
- double const sl =
- l->left->block->timeStamp > l->timeStamp
- ||l->left->block==l->right->block
- ?-DBL_MAX:l->slack();
- double const sr =
- r->left->block->timeStamp > r->timeStamp
- ||r->left->block==r->right->block
- ?-DBL_MAX:r->slack();
- if(sl==sr) {
- // arbitrary choice based on id
- if(l->left->id==r->left->id) {
- if(l->right->id<r->right->id) return true;
- return false;
- }
- if(l->left->id<r->left->id) return true;
- return false;
- }
- return sl < sr;
- }
|