Test for cumulative constraint with mandatory tasks. More...
Public Member Functions | |
ManFixPCumulative (int c0, const Gecode::IntArgs &p0, 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. | |
Static Protected Member Functions | |
static int | st (int c, const Gecode::IntArgs &p, const Gecode::IntArgs &u) |
Get a reasonable maximal start time. | |
Protected Attributes | |
int | c |
Capacity of resource. | |
Gecode::IntArgs | p |
The processing times. | |
Gecode::IntArgs | u |
The resource usage. | |
int | o |
Offset. |
Test for cumulative constraint with mandatory tasks.
Definition at line 54 of file cumulative.cpp.
Test::Int::Cumulative::ManFixPCumulative::ManFixPCumulative | ( | int | c0, |
const Gecode::IntArgs & | p0, | ||
const Gecode::IntArgs & | u0, | ||
int | o0 | ||
) | [inline] |
Create and register test.
Definition at line 74 of file cumulative.cpp.
static int Test::Int::Cumulative::ManFixPCumulative::st | ( | int | c, |
const Gecode::IntArgs & | p, | ||
const Gecode::IntArgs & | u | ||
) | [inline, static, protected] |
Get a reasonable maximal start time.
Definition at line 63 of file cumulative.cpp.
virtual Assignment* Test::Int::Cumulative::ManFixPCumulative::assignment | ( | void | ) | const [inline, virtual] |
Create and register initial assignment.
Reimplemented from Test::Int::Test.
Definition at line 87 of file cumulative.cpp.
virtual bool Test::Int::Cumulative::ManFixPCumulative::solution | ( | const Assignment & | x | ) | const [inline, virtual] |
Test whether x is solution.
Implements Test::Int::Test.
Definition at line 91 of file cumulative.cpp.
virtual void Test::Int::Cumulative::ManFixPCumulative::post | ( | Gecode::Space & | home, |
Gecode::IntVarArray & | x | ||
) | [inline, virtual] |
int Test::Int::Cumulative::ManFixPCumulative::c [protected] |
Capacity of resource.
Definition at line 57 of file cumulative.cpp.
The processing times.
Definition at line 59 of file cumulative.cpp.
The resource usage.
Definition at line 61 of file cumulative.cpp.
int Test::Int::Cumulative::ManFixPCumulative::o [protected] |
Offset.
Definition at line 71 of file cumulative.cpp.