Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.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.