Test for cumulative constraint with flexible mandatory tasks.
More...
|
| ManFlexCumulative (int c0, int minP, int maxP, const Gecode::IntArgs &u0, int o0, Gecode::IntPropLevel ipl0) |
| 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.
|
|
| Test (const std::string &p, const std::string &s, int a, const Gecode::IntSet &d, bool r=false, Gecode::IntPropLevel i=Gecode::IPL_DEF) |
| Constructor.
|
|
| Test (const std::string &s, int a, const Gecode::IntSet &d, bool r=false, Gecode::IntPropLevel i=Gecode::IPL_DEF) |
| Constructor.
|
|
| Test (const std::string &p, const std::string &s, int a, int min, int max, bool r=false, Gecode::IntPropLevel i=Gecode::IPL_DEF) |
| Constructor.
|
|
| Test (const std::string &s, int a, int min, int max, bool r=false, Gecode::IntPropLevel i=Gecode::IPL_DEF) |
| Constructor.
|
|
virtual bool | ignore (const Assignment &) const |
| Whether to ignore assignment for reification.
|
|
virtual void | post (Gecode::Space &home, Gecode::IntVarArray &x, Gecode::Reify r) |
| Post reified constraint.
|
|
virtual bool | run (void) |
| Perform test.
|
|
| 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.
|
|
Test for cumulative constraint with flexible mandatory tasks.
Definition at line 258 of file cumulative.cpp.
◆ ManFlexCumulative()
◆ st()
static int Test::Int::Cumulative::ManFlexCumulative::st |
( |
int | c, |
|
|
int | maxP, |
|
|
const Gecode::IntArgs & | u ) |
|
inlinestaticprotected |
◆ assignment()
virtual Assignment * Test::Int::Cumulative::ManFlexCumulative::assignment |
( |
void | | ) |
const |
|
inlinevirtual |
◆ solution()
virtual bool Test::Int::Cumulative::ManFlexCumulative::solution |
( |
const Assignment & | x | ) |
const |
|
inlinevirtual |
◆ post()
int Test::Int::Cumulative::ManFlexCumulative::c |
|
protected |
◆ _minP
int Test::Int::Cumulative::ManFlexCumulative::_minP |
|
protected |
◆ _maxP
int Test::Int::Cumulative::ManFlexCumulative::_maxP |
|
protected |
int Test::Int::Cumulative::ManFlexCumulative::o |
|
protected |
The documentation for this class was generated from the following file: