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

Test::Int::Unary::OptFlexUnary Class Reference
[Unary scheduling constraints]

Test for unary constraint with optional tasks More...

List of all members.

Public Member Functions

 OptFlexUnary (int n, int minP, int maxP, int o, 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 (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
 Threshold for taking a task as optional.

Detailed Description

Test for unary constraint with optional tasks

Definition at line 190 of file unary.cpp.


Constructor & Destructor Documentation

Test::Int::Unary::OptFlexUnary::OptFlexUnary ( int  n,
int  minP,
int  maxP,
int  o,
Gecode::IntPropLevel  ipl0 
) [inline]

Create and register test.

Definition at line 209 of file unary.cpp.


Member Function Documentation

static int Test::Int::Unary::OptFlexUnary::st ( const Gecode::IntArgs p  )  [inline, static, protected]

Get a reasonable maximal start time.

Definition at line 201 of file unary.cpp.

virtual Assignment* Test::Int::Unary::OptFlexUnary::assignment ( void   )  const [inline, virtual]

Create and register initial assignment.

Reimplemented from Test::Int::Test.

Definition at line 219 of file unary.cpp.

virtual bool Test::Int::Unary::OptFlexUnary::solution ( const Assignment x  )  const [inline, virtual]

Test whether x is solution

Implements Test::Int::Test.

Definition at line 224 of file unary.cpp.

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

Post constraint on x.

Implements Test::Int::Test.

Definition at line 235 of file unary.cpp.


Member Data Documentation

Minimum processing time.

Definition at line 193 of file unary.cpp.

Maximum processing time.

Definition at line 195 of file unary.cpp.

Offset for start times.

Definition at line 197 of file unary.cpp.

Threshold for taking a task as optional.

Definition at line 199 of file unary.cpp.


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