Generated on Sat May 25 2013 18:00:54 for Gecode by doxygen 1.8.3.1
Test::Set Namespace Reference

Testing finite sets. More...

Namespaces

namespace  Channel
 Tests for set channeling constraints
 
namespace  Var
 Tests for set variable conors
 
namespace  Convex
 Tests for convexity constraints
 
namespace  Distinct
 Tests for distinctness constraints
 
namespace  Dom
 Tests for domain constraints
 
namespace  Element
 Tests for set element constraints
 
namespace  Exec
 Tests for synchronized execution
 
namespace  Int
 Tests for combined int/set constraints
 
namespace  Precede
 Tests for value precedence constraints
 
namespace  RelOpConst
 Tests for relation/operation constraints with constants
 
namespace  RelOp
 Tests for relation/operation constraints
 
namespace  Rel
 Tests for relation constraints
 
namespace  Sequence
 Tests for sequence constraints
 

Classes

class  FakeSpace
 Fake space for creation of regions. More...
 
class  CountableSetValues
 Value iterator producing subsets of an IntSet. More...
 
class  CountableSetRanges
 Range iterator producing subsets of an IntSet. More...
 
class  CountableSet
 Iterate all subsets of a given set. More...
 
class  SetAssignment
 Generate all set assignments. More...
 
class  SetTestSpace
 Space for executing set tests. More...
 
class  SetTest
 Base class for tests with set constraints More...
 
class  SetRelTypes
 Iterator for set relation types. More...
 
class  SetOpTypes
 Iterator for Boolean operation types. More...
 

Detailed Description

Testing finite sets.