Test for unary constraint with optional tasks
More...
Public Member Functions |
| OptFlexUnary (int n, int minP, int maxP, int o) |
| 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 &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.
|
| 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 (const Gecode::IntArgs &p) |
| Get a reasonable maximal start time.
|
Protected Attributes |
int | _minP |
| Minimum processing time.
|
int | _maxP |
| Maximum processing time.
|
int | off |
| Offset for start times.
|
int | l |
| Thereshold for taking a task as optional.
|
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.
|
Detailed Description
Test for unary constraint with optional tasks
Definition at line 193 of file unary.cpp.
Constructor & Destructor Documentation
Test::Int::Unary::OptFlexUnary::OptFlexUnary |
( |
int |
n, |
|
|
int |
minP, |
|
|
int |
maxP, |
|
|
int |
o |
|
) |
| |
|
inline |
Create and register test.
Definition at line 212 of file unary.cpp.
Member Function Documentation
Get a reasonable maximal start time.
Definition at line 204 of file unary.cpp.
virtual Assignment* Test::Int::Unary::OptFlexUnary::assignment |
( |
void |
| ) |
const |
|
inlinevirtual |
virtual bool Test::Int::Unary::OptFlexUnary::solution |
( |
const Assignment & |
x | ) |
const |
|
inlinevirtual |
Member Data Documentation
int Test::Int::Unary::OptFlexUnary::_minP |
|
protected |
Minimum processing time.
Definition at line 196 of file unary.cpp.
int Test::Int::Unary::OptFlexUnary::_maxP |
|
protected |
Maximum processing time.
Definition at line 198 of file unary.cpp.
int Test::Int::Unary::OptFlexUnary::off |
|
protected |
Offset for start times.
Definition at line 200 of file unary.cpp.
int Test::Int::Unary::OptFlexUnary::l |
|
protected |
Thereshold for taking a task as optional.
Definition at line 202 of file unary.cpp.
The documentation for this class was generated from the following file: