 Gecode | Gecode toplevel namespace |
  Support | Support algorithms and datastructures |
  Kernel | Kernel functionality |
  Driver | Script commandline driver |
  FlatZinc | Interpreter for the FlatZinc language |
   AST | Abstract syntax trees for the FlatZinc interpreter |
  Gist | The Gecode Interactive Search Tool |
   LayoutConfig | Parameters for the tree layout |
  Int | Finite domain integers |
   Arithmetic | Numerical (arithmetic) propagators |
   BinPacking | Bin-packing propagators |
   Bool | Boolean propagators |
   Branch | Integer branchers |
   Channel | Channel propagators |
   Circuit | Circuit propagators |
   Count | Counting propagators |
   Cumulative | Scheduling for cumulative resources |
   Cumulatives | Cumulatives propagators |
   Distinct | Distinct propagators |
   Dom | Domain propagators |
   Element | Element propagators |
   Exec | Synchronized execution |
   Extensional | Extensional propagators |
   GCC | Global cardinality propagators (Counting) |
   Linear | Linear propagators |
   Member | Membership propagators |
   NoOverlap | No-overlap propagators |
   NValues | Number of values propagators |
   Precede | Value precedence propagators |
   Rel | Simple relation propagators |
   Sequence | Sequence propagators |
   Sorted | Sorted propagators |
   Unary | Int for unary resources |
   Unshare | Unsharing shared variables |
   ViewValGraph | Support classes for propagators using a view-value graph |
   Limits | Numerical limits for integer variables |
  Iter | Range and value iterators |
   Ranges | Range iterators |
   Values | Value iterators |
  MemoryConfig | Parameters defining memory management policy for spaces |
  Set | Finite integer sets |
   Branch | Set branchings |
   Convex | Propagators for convexity |
   Distinct | Propagators for global distinctness constraints |
   Element | Set element propagators |
   Int | Propagators connecting set and int variables |
   Precede | Value precedence propagators |
   Rel | Standard set relation propagators |
   RelOp | Standard set operation propagators |
   Sequence | Propagators for ordered sequences of sets |
   Limits | Numerical limits for set variables |
  MiniModel | Minimalistic modeling support |
  Search | Search engines |
   Parallel | Parallel search engine implementations |
   Sequential | Sequential search engine implementations |
   Config | Search configuration |
 Test | General test support |
  Array | Tests for arrays |
  Assign | Tests for assignments |
  Branch | Tests for branchings |
  Int | Testing finite domain integers |
   Arithmetic | Tests for arithmetic constraints |
   Basic | Tests for basic setup |
   BinPacking | Tests for bin-packing constraint |
   Bool | Tests for Boolean constraints |
   Channel | Tests for channel constraints |
   Circuit | Tests for circuit constraints |
   Count | Tests for count constraints |
   Cumulative | Tests for cumulative scheduling constraints |
   Cumulatives | Tests for scheduling constraints |
   Distinct | Tests for distinct constraints |
   Dom | Tests for domain constraints |
   Element | Tests for element constraints |
   Exec | Tests for synchronized execution |
   Extensional | Tests for extensional (relation) constraints |
   GCC | Tests for counting constraints (global cardinality) |
   Linear | Tests for linear constraints |
   Member | Tests for membership constraints |
   MiniModelArithmetic | Tests for minimal modelling constraints (arithmetic) |
   MiniModelBoolean | Tests for minimal modelling constraints (Boolean) |
   MiniModelCount | Tests for minimal modelling constraints (counting) |
   MiniModelLin | Tests for minimal modelling constraints (linear) |
   MiniModel | Tests for minimal modelling constraints (simple relations) |
   NoOverlap | Tests for no-overlap constraint |
   NValues | Tests for number of values constraints |
   Precede | Tests for value precedence constraints |
   Rel | Tests for relation constraints |
   Sequence | Tests for sequence constraints |
   Sorted | Tests for sorted constraints |
   Unary | Tests for unary scheduling constraints |
   Unshare | Tests for unsharing variables in arrays |
   MiniModelSet | Tests for minimal modelling constraints (Set) |
  Search | Tests for search engines |
  Set | Testing finite sets |
   Var | Tests for set variable conors |
   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 |
   RelOpConst | Tests for relation/operation constraints with constants |
   RelOp | Tests for relation/operation constraints |
   Rel | Tests for relation constraints |
   Sequence | Tests for sequence constraints |