Test::Int::Cumulatives::Cumulatives Class Reference
[Cumnulatives scheduling constraint]

Test for cumulatives constraint More...

List of all members.

Public Member Functions
	Cumulatives (const std::string &s, int nt, bool am, int l)
	Create and register test.
virtual Assignment *	assignment (void) const
	Create first assignment.
virtual bool	solution (const Assignment &x) const
	Test whether x is solution
virtual void	post (Gecode::Space &home, Gecode::IntVarArray &x)
	Post constraint on x.
Protected Attributes
int	ntasks
	Number of tasks.
bool	at_most
	Whether to use atmost reasoning.
int	limit
	Limit.

---

Detailed Description

Test for cumulatives constraint

Definition at line 186 of file cumulatives.cpp.

---

Constructor & Destructor Documentation

Test::Int::Cumulatives::Cumulatives::Cumulatives	(	const std::string &	s,
		int	nt,
		bool	am,
		int	l
	)			[inline]

Create and register test.

Definition at line 193 of file cumulatives.cpp.

---

Member Function Documentation

virtual Assignment* Test::Int::Cumulatives::Cumulatives::assignment

(

void

)

const [inline, virtual]

Create first assignment.

Reimplemented from Test::Int::Test.

Definition at line 198 of file cumulatives.cpp.

virtual bool Test::Int::Cumulatives::Cumulatives::solution

(

const Assignment &

x

)

const [inline, virtual]

Test whether x is solution

Implements Test::Int::Test.

Definition at line 203 of file cumulatives.cpp.

virtual void Test::Int::Cumulatives::Cumulatives::post	(	Gecode::Space &	home,
		Gecode::IntVarArray &	x
	)			[inline, virtual]

Post constraint on x.

Implements Test::Int::Test.

Definition at line 227 of file cumulatives.cpp.

---

Member Data Documentation

int Test::Int::Cumulatives::Cumulatives::ntasks [protected]

Number of tasks.

Definition at line 188 of file cumulatives.cpp.

bool Test::Int::Cumulatives::Cumulatives::at_most [protected]

Whether to use atmost reasoning.

Definition at line 189 of file cumulatives.cpp.

int Test::Int::Cumulatives::Cumulatives::limit [protected]

Limit.

Definition at line 190 of file cumulatives.cpp.

---

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

• test/int/cumulatives.cpp