| 概述 | 组 | 树 | 图形 | 不推荐 | 索引 | 概念 |
有限整数集合是句柄类 "IlcIntSet的实例。 CP Optimizer 以位向量的形式对有限集进行了高效、优化的实现。 这些有限集合被称为句柄类 "IlcIntSet的实例。
IlcIntSet"类型有限集合的元素是 "IlcInt类型的整数。 有限整数集合的实现类是未注明的 "IlcIntSetI类。
CP 优化器提供了迭代器（如 "IlcIntSetIterator实例），以遍历现有的有限集合，无论是穷举还是查找某个元素。 迭代器是一个由数据结构构建的对象，包含该数据结构的遍历状态。
IlcIntSet对象不应包含值为 "IlcIntTop的整数。 If an integer of value of IlcIntTop is included in an IlcIntSet object, an error can occur when iterating over the set.另请参阅：
IlcIntArray,IlcIntSetIterator,operator<<
| 方法概要 | |
|---|---|
public IlcBool | add(IlcInt elt) |
public IlcIntSet | copy() const |
public IlcInt | getSize() const |
public | IlcIntSet(IlcCPEngine solver, IlcInt min, IlcInt max, IlcBool fullSet=IlcTrue) |
public | IlcIntSet(IlcCPEngine solver, const IlcIntArray array, IlcBool fullSet=IlcTrue) |
public IlcBool | isIn(IlcInt elt) const |
public IlcBool | remove(IlcInt elt) |
| 方法详细信息 |
|---|
该构造函数创建了一个有限的整数集合，其中包含从 "min到 "max的整数。 如果 "min大于 "max，则创建空集。 If the argument fullset is equal to IlcTrue, the default value, the finite set will initially contain all its possible values. 否则，有限集最初将是空的。
该构造函数创建了一个有限整数集合，其中包含 "array的元素。 如果 "array包含给定值的多个副本，则该值在新创建的有限集合中只会出现一次。 If the argument fullset is equal to IlcTrue, its default value, the finite set will initially contain all its possible values. 否则，有限集最初将是空的。 无论如何，有限集合的可能元素正是 "array中的元素。
如果 "elt可能是有限集合的成员，且 "elt尚未在该集合中，则该成员函数会将 "elt添加到调用的有限集合中。 当两个条件都满足时，该成员函数返回 "IlcTrue。 否则，返回 "IlcFalse。 该成员函数的效果是可逆的。
该成员函数创建并返回一个有限集，该有限集包含的元素与调用的有限集相同。
该成员函数返回有限集合的大小。 该成员函数用于测试调用的有限集是否为空。
该成员函数是一个谓词，表示 "elt是否在调用的有限集合中。 如果集合中有 "elt，则返回 "IlcTrue，否则返回 "IlcFalse。
该成员函数从调用的有限集合中删除 "elt。 This member function returns IlcFalse if elt was not in that invoking set. 否则，返回 "IlcTrue。 该成员函数的效果是可逆的。