Generated on Sat Feb 7 2015 02:01:59 for Gecode by doxygen 1.8.9.1
Test::Set Namespace Reference

Testing finite sets. More...

Namespaces

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

Classes

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

Detailed Description

Testing finite sets.