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