Generated on Wed Sep 5 2012 18:52:53 for Gecode by doxygen 1.8.1.1
Test::Set Namespace Reference

Testing finite sets. More...

Namespaces

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.