Generated on Tue May 22 09:42:04 2018 for Gecode by doxygen 1.6.3

Test::Set Namespace Reference

Testing finite sets. More...

Namespaces

namespace  Channel
 

Tests for set channeling constraints


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  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.