4.7 The class PEL_FSetProfile

PEL_FSetProfile  [constructor]

PEL_FSetProfile(void);

Constructs a profile for finite set constraint.

init  [member function]

void init(OZ_FSetConstraint &fset);

Initializes the profile with fset.

isTouched  [member function]

int isTouched(OZ_FSetConstraint &fset);

Tests if the constraint fset is more constrained than the constraint, the profile has been initialized with.

isTouchedSingleValue  [member function]

int isTouchedSingleValue(OZ_FSetConstraint &fset);

Tests if the constraint fset has become a single value since the last initialization of the profile.

isTouchedLowerBound  [member function]

int isTouchedLowerBound(OZ_FSetConstraint &fset);

Tests if the lower bound of the constraint fset has been further constrained since the last initialization of the profile.

isTouchedUpperBound  [member function]

int isTouchedUpperBound(OZ_FSetConstraint &fset);

Tests if the upper bound of the constraint fset has been further constrained since the last initialization of the profile.