Generated on Sat Feb 7 2015 02:01:53 for Gecode by doxygen 1.8.9.1
Test::Branch::Float Class Reference

Test brancher with distinct propagator More...

Public Member Functions

 Float (const std::string &s, const Gecode::FloatVal &d, int n, int nbSols)
 Create and register test. More...
 
virtual void post (Gecode::Space &home, Gecode::FloatVarArray &x)
 Post propagators on variables x. More...
 
- Public Member Functions inherited from Test::Branch::FloatTest
 FloatTest (const std::string &s, int a, const Gecode::FloatVal &d, int nbs)
 Construct and register test. 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...
 

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...
 
- Protected Attributes inherited from Test::Branch::FloatTest
int arity
 Number of variables. More...
 
Gecode::FloatVal dom
 Domain of variables. More...
 
int nbSols
 Maximum number of solutions searched during solving. More...
 

Detailed Description

Test brancher with distinct propagator

Definition at line 47 of file float.cpp.

Constructor & Destructor Documentation

Test::Branch::Float::Float ( const std::string &  s,
const Gecode::FloatVal d,
int  n,
int  nbSols 
)
inline

Create and register test.

Definition at line 50 of file float.cpp.

Member Function Documentation

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

Post propagators on variables x.

Implements Test::Branch::FloatTest.

Definition at line 53 of file float.cpp.


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