Test::Int::Cumulative::ManFlexCumulative Class Reference

Test for cumulative constraint with flexible mandatory tasks. More...

List of all members.

Public Member Functions
	ManFlexCumulative (int c0, int minP, int maxP, const Gecode::IntArgs &u0, int o0)
	Create and register test.
virtual Assignment *	assignment (void) const
	Create and register initial 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.
Public Member Functions inherited from Test::Int::Test
	Test (const std::string &s, int a, const Gecode::IntSet &d, bool r=false, Gecode::IntConLevel i=Gecode::ICL_DEF)
	Constructor.
	Test (const std::string &s, int a, int min, int max, bool r=false, Gecode::IntConLevel i=Gecode::ICL_DEF)
	Constructor.
virtual bool	ignore (const Assignment &) const
	Whether to ignore assignment for reification.
virtual void	post (Gecode::Space &home, Gecode::IntVarArray &x, Gecode::BoolVar b)
	Post reified constraint.
virtual bool	run (void)
	Perform test.
Public Member Functions inherited from Test::Base
	Base (const std::string &s)
	Create and register test with name s.
const std::string &	name (void) const
	Return name of test.
Base *	next (void) const
	Return next test.
void	next (Base *n)
	Set next test.
virtual	~Base (void)
	Destructor.

Static Protected Member Functions
static int	st (int c, int maxP, const Gecode::IntArgs &u)
	Get a reasonable maximal start time.

Protected Attributes
int	c
	Capacity of resource.
int	_minP
	Minimum processing time.
int	_maxP
	Maximum processing time.
Gecode::IntArgs	u
	The resource usage.
int	o
	Offset.
Protected Attributes inherited from Test::Int::Test
int	arity
	Number of variables.
Gecode::IntSet	dom
	Domain of variables.
bool	reified
	Does the constraint also exist as reified constraint.
Gecode::IntConLevel	icl
	Consistency level.
ConTestLevel	contest
	Whether to test for certain consistency.
bool	testsearch
	Whether to perform search test.
bool	testfix
	Whether to perform fixpoint test.

Additional Inherited Members
Static Public Member Functions inherited from Test::Int::Test
static std::string	str (Gecode::ExtensionalPropKind epk)
	Map extensional propagation kind to string.
static std::string	str (Gecode::IntConLevel icl)
	Map integer consistency level to string.
static std::string	str (Gecode::IntRelType irl)
	Map integer relation to string.
static std::string	str (Gecode::BoolOpType bot)
	Map Boolean operation to string.
static std::string	str (int i)
	Map integer to string.
static std::string	str (const Gecode::IntArgs &i)
	Map integer array to string.
template<class T >
static bool	cmp (T x, Gecode::IntRelType r, T y)
	Compare x and y with respect to r.

---

Detailed Description

Test for cumulative constraint with flexible mandatory tasks.

Definition at line 259 of file cumulative.cpp.

---

Constructor & Destructor Documentation

Test::Int::Cumulative::ManFlexCumulative::ManFlexCumulative ( int  c0, int  minP, int  maxP, const Gecode::IntArgs &  u0, int  o0  )

inline

Create and register test.

Definition at line 280 of file cumulative.cpp.

---

Member Function Documentation

static int Test::Int::Cumulative::ManFlexCumulative::st ( int  c, int  maxP, const Gecode::IntArgs &  u  )

inlinestaticprotected

Get a reasonable maximal start time.

Definition at line 270 of file cumulative.cpp.

virtual Assignment* Test::Int::Cumulative::ManFlexCumulative::assignment ( void  ) const

inlinevirtual

Create and register initial assignment.

Reimplemented from Test::Int::Test.

Definition at line 293 of file cumulative.cpp.

virtual bool Test::Int::Cumulative::ManFlexCumulative::solution ( const Assignment &  x ) const

inlinevirtual

Test whether x is solution.

Implements Test::Int::Test.

Definition at line 299 of file cumulative.cpp.

virtual void Test::Int::Cumulative::ManFlexCumulative::post ( Gecode::Space &  home, Gecode::IntVarArray &  x  )

inlinevirtual

Post constraint on x.

Implements Test::Int::Test.

Definition at line 343 of file cumulative.cpp.

---

Member Data Documentation

int Test::Int::Cumulative::ManFlexCumulative::c

protected

Capacity of resource.

Definition at line 262 of file cumulative.cpp.

int Test::Int::Cumulative::ManFlexCumulative::_minP

protected

Minimum processing time.

Definition at line 264 of file cumulative.cpp.

int Test::Int::Cumulative::ManFlexCumulative::_maxP

protected

Maximum processing time.

Definition at line 266 of file cumulative.cpp.

Gecode::IntArgs Test::Int::Cumulative::ManFlexCumulative::u

protected

The resource usage.

Definition at line 268 of file cumulative.cpp.

int Test::Int::Cumulative::ManFlexCumulative::o

protected

Offset.

Definition at line 277 of file cumulative.cpp.

---

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

• test/int/cumulative.cpp (Revision: 12180)