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.
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 73 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 62 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 86 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 90 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 56 of file cumulative.cpp.
The processing times.
Definition at line 58 of file cumulative.cpp.
The resource usage.
Definition at line 60 of file cumulative.cpp.
int Test::Int::Cumulative::ManFixPCumulative::o [protected] |
Offset.
Definition at line 70 of file cumulative.cpp.