Generated on Wed Nov 1 15:05:13 2006 for Gecode by doxygen 1.4.5
Gecode::BoolVar

Gecode::BoolVar Class Reference
[Integer variables]

Inherits Gecode::IntVar.

List of all members.

Detailed Description

Boolean integer variables.

Definition at line 538 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]
 

Default constructor.

Definition at line 25 of file bool.icc.

Gecode::BoolVar::BoolVar (  const Int::BoolView &  x  )  [inline]
 

Initialize from Boolean View x.

Definition at line 35 of file bool.icc.

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.

Definition at line 28 of file bool.icc.

Gecode::BoolVar::BoolVar (  const IntVar &  x  )  [inline, explicit]
 

Initialize Boolean variable from integer variable.

If x.min() is less than 0 or x.max() is greater than 1, an exception of type Gecode::Int::VariableOutOfDomain is thrown.

Definition at line 44 of file bool.icc.

Member Function Documentation

void Gecode::BoolVar::update (  Space *  home,
bool  share,
BoolVar &  x
)  [inline]
 

Update this variable to be a clone of variable x.

Definition at line 39 of file bool.icc.

The documentation for this class was generated from the following files: