![]() |
MineLink
|
A precedence constraint. More...
#include <constraint.h>


Public Member Functions | |
| PrecedenceConstraint (const string &name, const delphos::Precedence &prec) | |
| Creates a new precedence constraint. More... | |
| virtual | ~PrecedenceConstraint () |
| Destroys the precedence constraint. | |
| virtual const delphos::Precedence & | GetPrecedence () const |
| Returns the precedence object associated to the constraint. More... | |
| virtual bool | Check (const delphos::Schedule &sch) const |
| Checks if the constraint is satisfied. More... | |
| virtual bool | Check (const delphos::FractionalSchedule &sch) const |
| Checks if the given fractional schedule satisfies the constraint. More... | |
Public Member Functions inherited from delphos::Constraint | |
| Constraint (const string &name) | |
| Creates a constraint with given name. More... | |
| virtual | ~Constraint () |
| Destructor. More... | |
| virtual string | ToXML (const unsigned int identation_level=0) const |
| A XML string describing the constraint. More... | |
| const char * | TypeName () const |
| a char string used a identifier in the XML representation of the constraint. | |
A precedence constraint.
The precedence constraint force blocks to be scheduled satisfying a certain partial order.
| delphos::PrecedenceConstraint::PrecedenceConstraint | ( | const string & | name, |
| const delphos::Precedence & | prec | ||
| ) |
Creates a new precedence constraint.
| name | The name of the precedence constraint. |
| prec | The precedence. |
This method creates a new precedence constraint, which is given by a precedence object (already computed) and has a name within the instance.
|
virtual |
Checks if the constraint is satisfied.
| sch | The schedule to be checked. |
Returns true only if the constraint is satisfied.
Reimplemented from delphos::Constraint.
Reimplemented in delphos::GeometricConstraint.
|
virtual |
Checks if the given fractional schedule satisfies the constraint.
| fsch | The fractional schedule to be checked. |
This method checks if the given schedule satisfies the constraint (returning true) or not (return false).
Reimplemented from delphos::Constraint.
Reimplemented in delphos::GeometricConstraint.
|
virtual |
Returns the precedence object associated to the constraint.
Returns the precedence object associated to the constraint.
Reimplemented in delphos::GeometricConstraint.