Generated on Thu Apr 11 14:00:17 2019 for Gecode by doxygen 1.6.3

Test::Int::Cumulative::OptFlexCumulative Class Reference
[Cumulative scheduling constraints]

Test for cumulative constraint with optional flexible tasks. More...

List of all members.

Public Member Functions

 OptFlexCumulative (int c0, int minP, int maxP, const Gecode::IntArgs &u0, int o0, Gecode::IntPropLevel ipl0)
 Create and register test.
virtual Assignmentassignment (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, int maxP, const Gecode::IntArgs &u)
 Get a reasonable maximal start time.

Protected Attributes

int c
 Capacity of resource.
int _minP
 Minimum processing time.
int _maxP
 Maximum processing time.
Gecode::IntArgs u
 The resource usage.
int l
 Limit for optional tasks.
int o
 Offset.

Detailed Description

Test for cumulative constraint with optional flexible tasks.

Definition at line 369 of file cumulative.cpp.


Constructor & Destructor Documentation

Test::Int::Cumulative::OptFlexCumulative::OptFlexCumulative ( int  c0,
int  minP,
int  maxP,
const Gecode::IntArgs u0,
int  o0,
Gecode::IntPropLevel  ipl0 
) [inline]

Create and register test.

Definition at line 392 of file cumulative.cpp.


Member Function Documentation

static int Test::Int::Cumulative::OptFlexCumulative::st ( int  c,
int  maxP,
const Gecode::IntArgs u 
) [inline, static, protected]

Get a reasonable maximal start time.

Definition at line 384 of file cumulative.cpp.

virtual Assignment* Test::Int::Cumulative::OptFlexCumulative::assignment ( void   )  const [inline, virtual]

Create and register initial assignment.

Reimplemented from Test::Int::Test.

Definition at line 408 of file cumulative.cpp.

virtual bool Test::Int::Cumulative::OptFlexCumulative::solution ( const Assignment x  )  const [inline, virtual]

Test whether x is solution.

Implements Test::Int::Test.

Definition at line 414 of file cumulative.cpp.

virtual void Test::Int::Cumulative::OptFlexCumulative::post ( Gecode::Space home,
Gecode::IntVarArray x 
) [inline, virtual]

Post constraint on x.

Implements Test::Int::Test.

Definition at line 458 of file cumulative.cpp.


Member Data Documentation

Capacity of resource.

Definition at line 372 of file cumulative.cpp.

Minimum processing time.

Definition at line 374 of file cumulative.cpp.

Maximum processing time.

Definition at line 376 of file cumulative.cpp.

The resource usage.

Definition at line 378 of file cumulative.cpp.

Limit for optional tasks.

Definition at line 380 of file cumulative.cpp.

Offset.

Definition at line 382 of file cumulative.cpp.


The documentation for this class was generated from the following file: