Test::Int::Scheduling::Cumulatives Class Reference
[Scheduling constraints]

Inherits Test::Int::Test.

List of all members.

---

Detailed Description

Test for cumulatives constraint.

Definition at line 190 of file scheduling.cc.

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.

---

Constructor & Destructor Documentation

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

Create and register test.

Definition at line 197 of file scheduling.cc.

---

Member Function Documentation

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

(

void

)

const [inline, virtual]

Create first assignment.

Reimplemented from Test::Int::Test.

Definition at line 202 of file scheduling.cc.

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

(

const Assignment &

x

)

const [inline, virtual]

Test whether x is solution.

Implements Test::Int::Test.

Definition at line 207 of file scheduling.cc.

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

Post constraint on x.

Implements Test::Int::Test.

Definition at line 231 of file scheduling.cc.

---

Member Data Documentation

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

Number of tasks.

Definition at line 192 of file scheduling.cc.

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

Whether to use atmost reasoning.

Definition at line 193 of file scheduling.cc.

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

Limit.

Definition at line 194 of file scheduling.cc.

---

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

• test/int/scheduling.cc (Revision: 7299)