Generated on Tue May 22 09:42:01 2018 for Gecode by doxygen 1.6.3

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

Test for unary constraint More...

List of all members.

Public Member Functions

 ManFixPUnary (const Gecode::IntArgs &p0, 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

Gecode::IntArgs p
 The processing times.

Detailed Description

Test for unary constraint

Definition at line 51 of file unary.cpp.

Constructor & Destructor Documentation

Test::Int::Unary::ManFixPUnary::ManFixPUnary ( const Gecode::IntArgs p0,
int  o,
Gecode::IntPropLevel  ipl0 
) [inline]

Create and register test.

Definition at line 64 of file unary.cpp.

Member Function Documentation

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

Get a reasonable maximal start time.

Definition at line 56 of file unary.cpp.

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

Create and register initial assignment.

Reimplemented from Test::Int::Test.

Definition at line 72 of file unary.cpp.

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

Test whether x is solution

Implements Test::Int::Test.

Definition at line 76 of file unary.cpp.

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

Post constraint on x.

Implements Test::Int::Test.

Definition at line 84 of file unary.cpp.

Member Data Documentation

The processing times.

Definition at line 54 of file unary.cpp.

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