Gecode::BoolVarArray Class Reference
[Variable arrays]

Boolean variable array. More...

#include <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, const BoolVarArgs &a)
	Initialize from Boolean variable argument array a (copy elements).
	BoolVarArray (Space &home, int n, int min, int max)
	Initialize array with n new variables.

Detailed Description

Boolean variable array.

Definition at line 808 of file int.hh.

Gecode::BoolVarArray::BoolVarArray ( void ) [inline]

Default constructor (array of size 0).

Definition at line 159 of file array.hpp.

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

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

Definition at line 162 of file array.hpp.

Gecode::BoolVarArray::BoolVarArray ( const BoolVarArray & a ) [inline]

Initialize from Boolean variable array a (share elements).

Definition at line 166 of file array.hpp.

Gecode::BoolVarArray::BoolVarArray	(	Space &	home,
		const BoolVarArgs &	a
	)			`[inline]`

Initialize from Boolean variable argument array a (copy elements).

Definition at line 170 of file array.hpp.

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 58 of file array.cpp.

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