Test for unary constraint
More...
|
| | ManFlexUnary (int n, int minP, int maxP, int o, 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 unary constraint
Definition at line 140 of file unary.cpp.
◆ ManFlexUnary()
| Test::Int::Unary::ManFlexUnary::ManFlexUnary |
( |
int | n, |
|
|
int | minP, |
|
|
int | maxP, |
|
|
int | o, |
|
|
Gecode::IntPropLevel | ipl0 ) |
|
inline |
◆ assignment()
| virtual Assignment * Test::Int::Unary::ManFlexUnary::assignment |
( |
void | | ) |
const |
|
inlinevirtual |
◆ solution()
| virtual bool Test::Int::Unary::ManFlexUnary::solution |
( |
const Assignment & | x | ) |
const |
|
inlinevirtual |
◆ post()
◆ _minP
| int Test::Int::Unary::ManFlexUnary::_minP |
|
protected |
Minimum processing time.
Definition at line 143 of file unary.cpp.
◆ _maxP
| int Test::Int::Unary::ManFlexUnary::_maxP |
|
protected |
Maximum processing time.
Definition at line 145 of file unary.cpp.
◆ off
| int Test::Int::Unary::ManFlexUnary::off |
|
protected |
Offset for start times.
Definition at line 147 of file unary.cpp.
The documentation for this class was generated from the following file: