Gecode::BoolVarArray Class Reference
[Variable arrays]

#include <int.hh>

Inherits Gecode::VarArray< Gecode::BoolVar >.

List of all members.

---

Detailed Description

Boolean variable array.

Definition at line 658 of file int.hh.

Creation and initialization
	BoolVarArray (void)
	Default constructor (array of size 0).
	BoolVarArray (Space *home, int n)
	Allocate array for n Boolean variables (variables are uninitialized).
	BoolVarArray (const BoolVarArray &a)
	Initialize from Boolean variable array a (share elements).
	BoolVarArray (Space *home, int n, int min, int max)
	Initialize array with n new variables.

---

Constructor & Destructor Documentation

Gecode::BoolVarArray::BoolVarArray

(

void

)

[inline]

Default constructor (array of size 0).

Definition at line 103 of file array.icc.

Gecode::BoolVarArray::BoolVarArray	(	Space *	home,
		int	n
	)			[inline]

Allocate array for n Boolean variables (variables are uninitialized).

Definition at line 106 of file array.icc.

Gecode::BoolVarArray::BoolVarArray

(

const BoolVarArray &

a

)

[inline]

Initialize from Boolean variable array a (share elements).

Definition at line 110 of file array.icc.

Gecode::BoolVarArray::BoolVarArray	(	Space *	home,
		int	n,
		int	min,
		int	max
	)

Initialize array with n new variables.

The variables are created with a domain ranging from min to max. The following execptions 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::NotZeroOne is thrown.

Definition at line 62 of file array.cc.

---

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

• gecode/int.hh (Revision: 7494)
• gecode/int/array.cc (Revision: 6024)
• gecode/int/array.icc (Revision: 5942)