main page modules namespaces classes files
Gecode home

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:

• gecode/int/var.icc (Revision: 3686)
• gecode/int/var/bool.icc (Revision: 2418)