Test::Int::Cumulative::ManFixPCumulative Class Reference
[Cumulative scheduling constraints]
Test for cumulative constraint with mandatory tasks. More...
Public Member Functions | |
ManFixPCumulative (int c0, const Gecode::IntArgs &p0, 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. | |
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. |
Detailed Description
Test for cumulative constraint with mandatory tasks.
Definition at line 53 of file cumulative.cpp.
Constructor & Destructor Documentation
Test::Int::Cumulative::ManFixPCumulative::ManFixPCumulative | ( | int | c0, | |
const Gecode::IntArgs & | p0, | |||
const Gecode::IntArgs & | u0, | |||
int | o0, | |||
Gecode::IntPropLevel | ipl0 | |||
) | [inline] |
Create and register test.
Definition at line 73 of file cumulative.cpp.
Member Function Documentation
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 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] |
Member Data Documentation
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.
The documentation for this class was generated from the following file:
- test/int/cumulative.cpp (Revision: 14967)