Generated on Wed Nov 5 2014 05:18:46 for Gecode by doxygen 1.7.6.1
Test::Float::TestSpace Class Reference

Space for executing tests. More...

#include <float.hh>

List of all members.

Public Member Functions

 TestSpace (int n, Gecode::FloatVal &d, Gecode::FloatNum s, Test *t)
 Create test space.
 TestSpace (int n, Gecode::FloatVal &d, Gecode::FloatNum s, Test *t, Gecode::ReifyMode rm)
 Create test space.
 TestSpace (bool share, TestSpace &s)
 Constructor for cloning s.
virtual Gecode::Spacecopy (bool share)
 Copy space during cloning.
virtual void dropUntil (const Assignment &a)
 Add constraints to skip solutions to the a assignment.
bool assigned (void) const
 Test whether all variables are assigned.
bool matchAssignment (const Assignment &a) const
 Test whether all variables match assignment a.
void post (void)
 Post propagator.
bool failed (void)
 Compute a fixpoint and check for failure.
void rel (int i, Gecode::FloatRelType frt, Gecode::FloatVal n)
 Perform integer tell operation on x[i].
void rel (bool sol)
 Perform Boolean tell on b.
void assign (const Assignment &a, MaybeType &sol, bool skip=false)
 Assign all (or all but one, if skip is true) variables to values in a If assignment of a variable is MT_MAYBE (if the two intervals are contiguous), sol is set to MT_MAYBE.
void bound (void)
 Assing a random variable to a random bound.
Gecode::FloatNum cut (int *cutDirections)
 Cut the bigger variable to an half sized interval. It returns the new size of the cut interval. cutDirections gives the direction to follow (upper part or lower part of the interval).
void prune (int i)
 Prune some random values from variable i.
void prune (void)
 Prune some random values for some random variable.
bool prune (const Assignment &a, bool testfix)
 Prune values but not those in assignment a.

Public Attributes

Gecode::FloatVal d
 Initial domain.
Gecode::FloatNum step
 Step for going to next solution.
Gecode::FloatVarArray x
 Variables to be tested.
Gecode::Reify r
 Reification information.
Testtest
 The test currently run.
bool reified
 Whether the test is for a reified propagator.

Detailed Description

Space for executing tests.

Definition at line 170 of file float.hh.


Constructor & Destructor Documentation

Create test space.

Creates n variables with domain d and step s for test t.

Definition at line 146 of file float.cpp.

Create test space.

Creates n variables with domain d and step s for test t annd reification mode rm.

Definition at line 163 of file float.cpp.

Test::Float::TestSpace::TestSpace ( bool  share,
TestSpace s 
)

Constructor for cloning s.

Definition at line 174 of file float.cpp.


Member Function Documentation

Gecode::Space * Test::Float::TestSpace::copy ( bool  share) [virtual]

Copy space during cloning.

Implements Gecode::Space.

Definition at line 184 of file float.cpp.

void Test::Float::TestSpace::dropUntil ( const Assignment a) [virtual]

Add constraints to skip solutions to the a assignment.

Definition at line 189 of file float.cpp.

bool Test::Float::TestSpace::assigned ( void  ) const

Test whether all variables are assigned.

Definition at line 195 of file float.cpp.

Test whether all variables match assignment a.

Definition at line 203 of file float.cpp.

Post propagator.

Definition at line 211 of file float.cpp.

Compute a fixpoint and check for failure.

Definition at line 224 of file float.cpp.

Perform integer tell operation on x[i].

Definition at line 236 of file float.cpp.

void Test::Float::TestSpace::rel ( bool  sol)

Perform Boolean tell on b.

Definition at line 253 of file float.cpp.

void Test::Float::TestSpace::assign ( const Assignment a,
MaybeType sol,
bool  skip = false 
)

Assign all (or all but one, if skip is true) variables to values in a If assignment of a variable is MT_MAYBE (if the two intervals are contiguous), sol is set to MT_MAYBE.

Definition at line 262 of file float.cpp.

Assing a random variable to a random bound.

Definition at line 280 of file float.cpp.

Cut the bigger variable to an half sized interval. It returns the new size of the cut interval. cutDirections gives the direction to follow (upper part or lower part of the interval).

Definition at line 295 of file float.cpp.

Prune some random values from variable i.

Definition at line 324 of file float.cpp.

Prune some random values for some random variable.

Definition at line 340 of file float.cpp.

bool Test::Float::TestSpace::prune ( const Assignment a,
bool  testfix 
)

Prune values but not those in assignment a.

Definition at line 351 of file float.cpp.


Member Data Documentation

Initial domain.

Definition at line 173 of file float.hh.

Step for going to next solution.

Definition at line 175 of file float.hh.

Variables to be tested.

Definition at line 177 of file float.hh.

Reification information.

Definition at line 179 of file float.hh.

The test currently run.

Definition at line 181 of file float.hh.

Whether the test is for a reified propagator.

Definition at line 183 of file float.hh.


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