enum OZ_FSetState {fs_empty, fs_full};

Used when constructing a Finite Set or with the operator ==.

OZ_FSetValue(void);

This constructor creates an uninitialised Finite Set Value.

OZ_FSetValue(const OZ_FSetConstraint &fsc);

fsc must have a determined value (i. e. fsc.isValue() must be true). A Finite Set is constructed from this value.

OZ_FSetValue(const OZ_Term t);

Constructor using a level4 list description like for Finite Domains (see Section 1.2.4) to create a Finite Set Value.

OZ_FSetValue(const OZ_FSetState state);

Creates a Finite Set Value according to state (fs_empty or fs_full).

OZ_FSetValue(int min_elem, int max_elem);

Creates a Finite Set Value .

int getMinElem(void) const;

Returns the smallest element of the set.

int getMaxElem(void) const;

Returns the largest element of the set.

int getNextLargerElem(int i) const;

Returns the next larger Element after i in the set, or -1 if there is none.

int getNextSmallerElem(int i) const;

Returns the next smaller Element before i in the set, or -1 if there is none.

OZ_Term getKnownInList(void) const;

Returns a level4-List (see Section 1.2.4) containing the elements in the set.

OZ_Term getKnownNotInList(void) const;

Returns a level4-List (see Section 1.2.4) containing the elements in the complementary set.

OZ_Boolean operator == (const OZ_FSetValue &fs) const;

Tests equality on sets.

OZ_Boolean operator <= (const OZ_FSetValue &fs) const;

Return OZ_True if *this is a subset of fs.

OZ_FSetValue operator & (const OZ_FSetValue &fs) const;

Returns the intersection of *this with fs.

OZ_FSetValue operator | (const OZ_FSetValue &fs) const;

Returns the union of *this with fs.

OZ_FSetValue operator - (const OZ_FSetValue &fs) const;

Returns the elements in *this not in fs.

OZ_FSetValue operator &= (const OZ_FSetValue &fs);

*this is assigned its intersection with fs.

OZ_FSetValue operator |= (const OZ_FSetValue &);

*this is assigned its union with fs.

OZ_FSetValue operator &= (const int i);

If i is in *this, this function returns ; otherwise the empty set.

OZ_FSetValue operator += (const int i);

i is put into *this.

OZ_FSetValue operator-=(const int);

i is removed from *this, if in.

OZ_FSetValue operator-(void) const;

Returns the complement of *this.

void init(const OZ_FSetState state);

Initializes a Finite Set Value according to state (fs_empty or fs_full).

OZ_Boolean isIn(int i) const;

Returns OZ_True if i is in *this.

OZ_Boolean isNotIn(int) const;

Returns OZ_True if i is not in *this.

int getCard(void) const;

Returns the cardinality of *this.

int getKnownNotIn(void) const;

Returns the cardinality of *this' complement.

void copyExtension(void);

This member function replaces the current extension of the set value representation by a copy of it.

void disposeExtension(void);

This member function frees the heap memory occupied by the extension of the set value.

char * toString(void) const;

Returns a textual representation of the finite set value pointing to a static array of chars.