| << Prev | - Up - | Next >> |
PEL_FDProfilePEL_FDProfile [constructor]
PEL_FDProfile(void);
Constructs a profile for finite domain constraint.
init [member function]
void init(OZ_FDConstraint &fd);
Initializes the profile with fd.
isTouched [member function]
int isTouched(OZ_FDConstraint &fd);
Tests if the constraint fd is more constrained than the constraint, the profile has been initialized with.
isTouchedWidth [member function]
int isTouchedWidth(OZ_FDConstraint &fd);
Tests if the width of the constraint fd has been further constrained since the last initialization of the profile.
isTouchedLowerBound [member function]
int isTouchedLowerBound(OZ_FDConstraint &fd);
Tests if the lower bound of the constraint fd has been further constrained since the last initialization of the profile.
isTouchedUpperBound [member function]
int isTouchedUpperBound(OZ_FDConstraint &fd);
Tests if the upper bound of the constraint fd has been further constrained since the last initialization of the profile.
isTouchedBounds [member function]
int isTouchedBounds(OZ_FDConstraint &fd);
Tests if at least one of the bounds of the constraint fd has been further constrained since the last initialization of the profile.
isTouchedSingleValue [member function]
int isTouchedSingleValue(OZ_FDConstraint &fd);
Tests if the constraint fd has become a single value since the last initialization of the profile.
| << Prev | - Up - | Next >> |