Test::Float::Linear::FloatFloat Class Reference
[Linear constraints]
Test linear relation over float variables More...
Public Member Functions | |
FloatFloat (const std::string &s, const Gecode::FloatVal &d, const Gecode::FloatValArgs &a0, Gecode::FloatRelType frt0, Gecode::FloatNum c0, 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::FloatValArgs | a |
Coefficients. | |
Gecode::FloatRelType | frt |
Float relation type to propagate. | |
Gecode::FloatNum | c |
Result. |
Detailed Description
Test linear relation over float variables
Definition at line 63 of file linear.cpp.
Constructor & Destructor Documentation
Test::Float::Linear::FloatFloat::FloatFloat | ( | const std::string & | s, | |
const Gecode::FloatVal & | d, | |||
const Gecode::FloatValArgs & | a0, | |||
Gecode::FloatRelType | frt0, | |||
Gecode::FloatNum | c0, | |||
Gecode::FloatNum | st | |||
) | [inline] |
Create and register test.
Definition at line 73 of file linear.cpp.
Member Function Documentation
virtual MaybeType Test::Float::Linear::FloatFloat::solution | ( | const Assignment & | x | ) | const [inline, virtual] |
virtual void Test::Float::Linear::FloatFloat::post | ( | Gecode::Space & | home, | |
Gecode::FloatVarArray & | x | |||
) | [inline, virtual] |
virtual void Test::Float::Linear::FloatFloat::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 117 of file linear.cpp.
Member Data Documentation
Coefficients.
Definition at line 66 of file linear.cpp.
Float relation type to propagate.
Definition at line 68 of file linear.cpp.
Gecode::FloatNum Test::Float::Linear::FloatFloat::c [protected] |
Result.
Definition at line 70 of file linear.cpp.
The documentation for this class was generated from the following file:
- test/float/linear.cpp (Revision: 13241)