Generated on Sat Feb 7 2015 02:01:53 for Gecode by doxygen 1.8.9.1

Base class for tests with float constraints More...

#include <float.hh>

Public Member Functions

 Test (const std::string &s, int a, const Gecode::FloatVal &d, Gecode::FloatNum st, AssignmentType at, bool r)
 Constructor. More...
 
 Test (const std::string &s, int a, Gecode::FloatNum min, Gecode::FloatNum max, Gecode::FloatNum st, AssignmentType at, bool r)
 Constructor. More...
 
virtual Assignmentassignment (void) const
 Create assignment. More...
 
virtual bool extendAssignement (Assignment &a) const
 Complete the current assignment to get a feasible one (which satisfies all constraint). If such an assignment is computed, it returns true, false otherwise. More...
 
virtual MaybeType solution (const Assignment &) const =0
 Check for solution. More...
 
bool subsumed (const TestSpace &ts) const
 Test if ts is subsumed or not (i.e. if there is no more propagator unless the assignment is an extended assigment. More...
 
virtual bool ignore (const Assignment &a) const
 Whether to ignore assignment for reification. More...
 
virtual void post (Gecode::Space &home, Gecode::FloatVarArray &x)=0
 Post constraint. More...
 
virtual void post (Gecode::Space &home, Gecode::FloatVarArray &x, Gecode::Reify r)
 Post reified constraint. More...
 
virtual bool run (void)
 Perform test. More...
 
- Public Member Functions inherited from Test::Base
 Base (const std::string &s)
 Create and register test with name s. More...
 
const std::string & name (void) const
 Return name of test. More...
 
Basenext (void) const
 Return next test. More...
 
void next (Base *n)
 Set next test. More...
 
virtual ~Base (void)
 Destructor. More...
 

Protected Attributes

int arity
 Number of variables. More...
 
Gecode::FloatVal dom
 Domain of variables. More...
 
Gecode::FloatNum step
 Step for going to next solution. More...
 
AssignmentType assigmentType
 Gives the type of assignment to use. More...
 
bool reified
 Does the constraint also exist as reified constraint. More...
 
int rms
 Which reification modes are supported. More...
 
bool testsearch
 Whether to perform search test. More...
 
bool testfix
 Whether to perform fixpoint test. More...
 
bool testsubsumed
 Whether to test for subsumption. More...
 

Test for reification modes

bool eqv (void) const
 Test whether equivalence as reification mode is supported. More...
 
bool imp (void) const
 Test whether implication as reification mode is supported. More...
 
bool pmi (void) const
 Test whether reverse implication as reification mode is supported. More...
 

Mapping scalar values to strings

static std::string str (Gecode::FloatRelType frt)
 Map float relation to string. More...
 
static std::string str (Gecode::FloatNum f)
 Map floatNum to string. More...
 
static std::string str (Gecode::FloatVal f)
 Map floatVal to string. More...
 
static std::string str (const Gecode::FloatValArgs &f)
 Map float array to string. More...
 

General support

bool flip (void)
 Flip a coin and return true or false randomly. More...
 
static MaybeType cmp (Gecode::FloatVal x, Gecode::FloatRelType r, Gecode::FloatVal y)
 Compare x and y with respect to r. More...
 
static MaybeType eq (Gecode::FloatVal x, Gecode::FloatVal y)
 Whether x and y are equal. More...
 

Additional Inherited Members

- Static Public Member Functions inherited from Test::Base
static void sort (void)
 Sort tests alphabetically. More...
 
static Basetests (void)
 Return all tests. More...
 
static bool fixpoint (void)
 Throw a coin whether to compute a fixpoint. More...
 
- Static Public Attributes inherited from Test::Base
static Gecode::Support::RandomGenerator rand = Gecode::Support::RandomGenerator()
 Random number generator. More...
 

Detailed Description

Base class for tests with float constraints

Definition at line 242 of file float.hh.

Constructor & Destructor Documentation

Test::Float::Test::Test ( const std::string &  s,
int  a,
const Gecode::FloatVal d,
Gecode::FloatNum  st,
AssignmentType  at,
bool  r 
)
inline

Constructor.

Constructs a test with name s and arity a and variable domain d and step st and assignment type at. Also tests for a reified constraint, if r is true.

Definition at line 176 of file float.hpp.

Test::Float::Test::Test ( const std::string &  s,
int  a,
Gecode::FloatNum  min,
Gecode::FloatNum  max,
Gecode::FloatNum  st,
AssignmentType  at,
bool  r 
)
inline

Constructor.

Constructs a test with name s and arity a and variable domain min ... max and step st and assignment type at. Also tests for a reified constraint, if r is true.

Definition at line 186 of file float.hpp.

Member Function Documentation

bool Test::Float::Test::eqv ( void  ) const
inlineprotected

Test whether equivalence as reification mode is supported.

Definition at line 164 of file float.hpp.

bool Test::Float::Test::imp ( void  ) const
inlineprotected

Test whether implication as reification mode is supported.

Definition at line 168 of file float.hpp.

bool Test::Float::Test::pmi ( void  ) const
inlineprotected

Test whether reverse implication as reification mode is supported.

Definition at line 172 of file float.hpp.

Assignment * Test::Float::Test::assignment ( void  ) const
virtual

Create assignment.

Definition at line 408 of file float.cpp.

virtual MaybeType Test::Float::Test::solution ( const Assignment ) const
pure virtual

Check for solution.

Implemented in Test::Float::Arithmetic::MaxNaryShared, Test::Float::Arithmetic::MaxNary, Test::Float::Arithmetic::MinNaryShared, Test::Float::Arithmetic::MinNary, Test::Float::Arithmetic::MaxXXX, Test::Float::Arithmetic::MaxXYY, Test::Float::Arithmetic::MaxXYX, Test::Float::Arithmetic::MaxXXY, Test::Float::Arithmetic::MaxXYZ, Test::Float::Arithmetic::MinXXX, Test::Float::Arithmetic::MinXYY, Test::Float::Arithmetic::MinXYX, Test::Float::Arithmetic::MinXXY, Test::Float::Arithmetic::MinXYZ, Test::Float::Arithmetic::AbsXX, Test::Float::Arithmetic::AbsXY, Test::Float::Arithmetic::NRootXX, Test::Float::Arithmetic::NRootXYSol, Test::Float::Arithmetic::NRootXY, Test::Float::Arithmetic::PowXX, Test::Float::Trigonometric::ATanXX, Test::Float::Arithmetic::PowXYSol, Test::Float::Trigonometric::ATanXYSol, Test::Float::Arithmetic::PowXY, Test::Float::Trigonometric::ATanXY, Test::Float::Trigonometric::ACosXX, Test::Float::Arithmetic::SqrtXX, Test::Float::Trigonometric::ACosXYSol, Test::Float::Arithmetic::SqrtXYSol, Test::Float::Trigonometric::ACosXY, Test::Float::Transcendental::PowXX, Test::Float::Arithmetic::SqrtXY, Test::Float::Trigonometric::ASinXX, Test::Float::Arithmetic::SqrXX, Test::Float::Transcendental::PowXYSol, Test::Float::Trigonometric::ASinXYSol, Test::Float::Arithmetic::SqrXYSol, Test::Float::Transcendental::PowXY, Test::Float::Arithmetic::SqrXY, Test::Float::Trigonometric::ASinXY, Test::Float::Transcendental::LogNXX, Test::Float::Trigonometric::TanXX, Test::Float::Arithmetic::DivSol, Test::Float::Transcendental::LogNXYSol, Test::Float::Trigonometric::TanXYSol, Test::Float::Arithmetic::Div, Test::Float::Transcendental::LogNXY, Test::Float::Arithmetic::MultXXX, Test::Float::Trigonometric::TanXY, Test::Float::Transcendental::LogXX, Test::Float::Arithmetic::MultXYY, Test::Float::Trigonometric::CosXX, Test::Float::Arithmetic::MultXYX, Test::Float::Linear::FloatVar, Test::Float::Rel::FloatFloat, Test::Float::Transcendental::LogXYSol, Test::Float::Trigonometric::CosXYSol, Test::Float::Arithmetic::MultXXYSol, Test::Float::Transcendental::LogXY, Test::Float::Trigonometric::CosXY, Test::Float::Rel::FloatVarXX, Test::Float::Arithmetic::MultXXY, Test::Float::Transcendental::ExpXX, Test::Float::Trigonometric::SinXX, Test::Float::Dom::Num, Test::Float::Linear::FloatFloat, Test::Float::Arithmetic::MultXYZSol, Test::Float::Transcendental::ExpXYSol, Test::Float::Trigonometric::SinXYSol, Test::Float::Rel::FloatVarXY, Test::Float::Dom::Val, Test::Float::Arithmetic::MultXYZ, Test::Float::Basic::Basic, Test::Float::Transcendental::ExpXY, Test::Float::Trigonometric::SinXY, and Test::Float::Channel::ChannelLinkSingle.

bool Test::Float::Test::subsumed ( const TestSpace ts) const

Test if ts is subsumed or not (i.e. if there is no more propagator unless the assignment is an extended assigment.

Definition at line 429 of file float.cpp.

bool Test::Float::Test::ignore ( const Assignment a) const
virtual

Whether to ignore assignment for reification.

Definition at line 453 of file float.cpp.

virtual void Test::Float::Test::post ( Gecode::Space home,
Gecode::FloatVarArray x 
)
pure virtual

Post constraint.

Implemented in Test::Float::Arithmetic::MaxNaryShared, Test::Float::Arithmetic::MaxNary, Test::Float::Arithmetic::MinNaryShared, Test::Float::Arithmetic::MinNary, Test::Float::Arithmetic::MaxXXX, Test::Float::Arithmetic::MaxXYY, Test::Float::Arithmetic::MaxXYX, Test::Float::Arithmetic::MaxXXY, Test::Float::Arithmetic::MaxXYZ, Test::Float::Arithmetic::MinXXX, Test::Float::Arithmetic::MinXYY, Test::Float::Arithmetic::MinXYX, Test::Float::Arithmetic::MinXXY, Test::Float::Arithmetic::MinXYZ, Test::Float::Arithmetic::AbsXX, Test::Float::Arithmetic::AbsXY, Test::Float::Arithmetic::NRootXX, Test::Float::Arithmetic::NRootXYSol, Test::Float::Arithmetic::NRootXY, Test::Float::Arithmetic::PowXX, Test::Float::Trigonometric::ATanXX, Test::Float::Arithmetic::PowXYSol, Test::Float::Trigonometric::ATanXYSol, Test::Float::Arithmetic::PowXY, Test::Float::Trigonometric::ATanXY, Test::Float::Arithmetic::SqrtXX, Test::Float::Trigonometric::ACosXX, Test::Float::Trigonometric::ACosXYSol, Test::Float::Arithmetic::SqrtXYSol, Test::Float::Trigonometric::ACosXY, Test::Float::Arithmetic::SqrtXY, Test::Float::Transcendental::PowXX, Test::Float::Trigonometric::ASinXX, Test::Float::Transcendental::PowXYSol, Test::Float::Arithmetic::SqrXX, Test::Float::Trigonometric::ASinXYSol, Test::Float::Arithmetic::SqrXYSol, Test::Float::Transcendental::PowXY, Test::Float::Trigonometric::ASinXY, Test::Float::Arithmetic::SqrXY, Test::Float::Transcendental::LogNXX, Test::Float::Arithmetic::DivSol, Test::Float::Trigonometric::TanXX, Test::Float::Transcendental::LogNXYSol, Test::Float::Trigonometric::TanXYSol, Test::Float::Arithmetic::Div, Test::Float::Transcendental::LogNXY, Test::Float::Arithmetic::MultXXX, Test::Float::Trigonometric::TanXY, Test::Float::Transcendental::LogXX, Test::Float::Arithmetic::MultXYY, Test::Float::Linear::FloatVar, Test::Float::Trigonometric::CosXX, Test::Float::Transcendental::LogXYSol, Test::Float::Arithmetic::MultXYX, Test::Float::Trigonometric::CosXYSol, Test::Float::Rel::FloatFloat, Test::Float::Arithmetic::MultXXYSol, Test::Float::Transcendental::LogXY, Test::Float::Trigonometric::CosXY, Test::Float::Rel::FloatVarXX, Test::Float::Arithmetic::MultXXY, Test::Float::Dom::Num, Test::Float::Linear::FloatFloat, Test::Float::Transcendental::ExpXX, Test::Float::Trigonometric::SinXX, Test::Float::Arithmetic::MultXYZSol, Test::Float::Transcendental::ExpXYSol, Test::Float::Trigonometric::SinXYSol, Test::Float::Rel::FloatVarXY, Test::Float::Dom::Val, Test::Float::Arithmetic::MultXYZ, Test::Float::Basic::Basic, Test::Float::Transcendental::ExpXY, Test::Float::Trigonometric::SinXY, and Test::Float::Channel::ChannelLinkSingle.

bool Test::Float::Test::run ( void  )
virtual

Perform test.

Implements Test::Base.

Definition at line 462 of file float.cpp.

std::string Test::Float::Test::str ( Gecode::FloatRelType  frt)
inlinestatic

Map float relation to string.

Definition at line 198 of file float.hpp.

std::string Test::Float::Test::str ( Gecode::FloatNum  f)
inlinestatic

Map floatNum to string.

Definition at line 215 of file float.hpp.

std::string Test::Float::Test::str ( Gecode::FloatVal  f)
inlinestatic

Map floatVal to string.

Definition at line 223 of file float.hpp.

std::string Test::Float::Test::str ( const Gecode::FloatValArgs f)
inlinestatic

Map float array to string.

Definition at line 231 of file float.hpp.

MaybeType Test::Float::Test::cmp ( Gecode::FloatVal  x,
Gecode::FloatRelType  r,
Gecode::FloatVal  y 
)
inlinestatic

Compare x and y with respect to r.

Definition at line 239 of file float.hpp.

MaybeType Test::Float::Test::eq ( Gecode::FloatVal  x,
Gecode::FloatVal  y 
)
inlinestatic

Whether x and y are equal.

Definition at line 272 of file float.hpp.

bool Test::Float::Test::flip ( void  )
inline

Flip a coin and return true or false randomly.

Definition at line 277 of file float.hpp.

Member Data Documentation

int Test::Float::Test::arity
protected

Number of variables.

Definition at line 245 of file float.hh.

Gecode::FloatVal Test::Float::Test::dom
protected

Domain of variables.

Definition at line 247 of file float.hh.

Gecode::FloatNum Test::Float::Test::step
protected

Step for going to next solution.

Definition at line 249 of file float.hh.

AssignmentType Test::Float::Test::assigmentType
protected

Gives the type of assignment to use.

Definition at line 251 of file float.hh.

bool Test::Float::Test::reified
protected

Does the constraint also exist as reified constraint.

Definition at line 253 of file float.hh.

int Test::Float::Test::rms
protected

Which reification modes are supported.

Definition at line 255 of file float.hh.

bool Test::Float::Test::testsearch
protected

Whether to perform search test.

Definition at line 257 of file float.hh.

bool Test::Float::Test::testfix
protected

Whether to perform fixpoint test.

Definition at line 259 of file float.hh.

bool Test::Float::Test::testsubsumed
protected

Whether to test for subsumption.

Definition at line 261 of file float.hh.


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