4.9 The class PEL_FDProfile

PEL_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.