Gecode::BoolVar Class Reference
[Integer variables]
Inherits Gecode::IntVar.
Detailed Description
Boolean integer variables.
Definition at line 589 of file var.icc.
Constructors and initialization | |
BoolVar (void) | |
Default constructor. | |
BoolVar (const Int::BoolView &x) | |
Initialize from Boolean View x. | |
BoolVar (Space *home, int min, int max) | |
Initialize Boolean variable with range domain. | |
BoolVar (const IntVar &x) | |
Initialize Boolean variable from integer variable. | |
Cloning | |
void | update (Space *home, bool share, BoolVar &x) |
Update this variable to be a clone of variable x. |
Constructor & Destructor Documentation
Gecode::BoolVar::BoolVar | ( | void | ) | [inline] |
Gecode::BoolVar::BoolVar | ( | const Int::BoolView & | x | ) | [inline] |
Gecode::BoolVar::BoolVar | ( | Space * | home, | |
int | min, | |||
int | max | |||
) | [inline] |
Initialize Boolean variable with range domain.
The variable is created with a domain ranging from min to max. The following exceptions might be thrown:
- If min is greater than max, an exception of type Gecode::Int::VariableEmptyDomain is thrown.
- If min is less than 0 or max is greater than 1, an exception of type Gecode::Int::VariableOutOfDomain is thrown.
Gecode::BoolVar::BoolVar | ( | const IntVar & | x | ) | [inline, explicit] |
Member Function Documentation
The documentation for this class was generated from the following files:
- gecode/int/var.icc (Revision: 3225)
- gecode/int/var/bool.icc (Revision: 2418)