Generated on Mon Nov 30 23:53:59 2009 for Gecode by doxygen 1.6.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  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  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.