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

Test::Float::Dom::Num Class Reference
[Domain constraints]

Test for domain constraints with float numbers More...

List of all members.

Public Member Functions

 Num (int n, Gecode::FloatNum min0, Gecode::FloatNum max0, Gecode::FloatNum st)
 Create and register test.
virtual MaybeType solution (const Assignment &x) const
 Test whether x is solution
virtual void post (Gecode::Space &home, Gecode::FloatVarArray &x)
 Post constraint on x.
virtual void post (Gecode::Space &home, Gecode::FloatVarArray &x, Gecode::Reify r)
 Post reified constraint on x for r.

Protected Attributes

Gecode::FloatNum min
 Float number.
Gecode::FloatNum max
 Float number.

Detailed Description

Test for domain constraints with float numbers

Definition at line 85 of file dom.cpp.


Constructor & Destructor Documentation

Test::Float::Dom::Num::Num ( int  n,
Gecode::FloatNum  min0,
Gecode::FloatNum  max0,
Gecode::FloatNum  st 
) [inline]

Create and register test.

Definition at line 93 of file dom.cpp.


Member Function Documentation

virtual MaybeType Test::Float::Dom::Num::solution ( const Assignment x  )  const [inline, virtual]

Test whether x is solution

Implements Test::Float::Test.

Definition at line 100 of file dom.cpp.

virtual void Test::Float::Dom::Num::post ( Gecode::Space home,
Gecode::FloatVarArray x 
) [inline, virtual]

Post constraint on x.

Implements Test::Float::Test.

Definition at line 109 of file dom.cpp.

virtual void Test::Float::Dom::Num::post ( Gecode::Space home,
Gecode::FloatVarArray x,
Gecode::Reify  r 
) [inline, virtual]

Post reified constraint on x for r.

Reimplemented from Test::Float::Test.

Definition at line 116 of file dom.cpp.


Member Data Documentation

Float number.

Definition at line 88 of file dom.cpp.

Float number.

Definition at line 90 of file dom.cpp.


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