Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
Test::Set Namespace Reference

Testing finite sets. More...

Namespaces

namespace  Channel
 Tests for set channeling constraints
 
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  Rel
 Tests for relation constraints
 
namespace  RelOp
 Tests for relation/operation constraints
 
namespace  RelOpConst
 Tests for relation/operation constraints with constants
 
namespace  Sequence
 Tests for sequence constraints
 
namespace  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  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.