# Namespace List

Here is a list of all namespaces with brief descriptions:Gecode | Gecode toplevel namespace |

Gecode::CpltSet | Complete representation of finite integer sets using ROBDD's |

Gecode::CpltSet::AtMost | Propagators for intersection constraints with cardinality restrictions |

Gecode::CpltSet::Branch | CpltSet branchings |

Gecode::CpltSet::Distinct | Propagators for distinctness constraints |

Gecode::CpltSet::Partition | Propagators for partition constraints |

Gecode::CpltSet::RangeRoots | Propagators for range/roots constraints |

Gecode::CpltSet::Rel | Propagators for relation constraints |

Gecode::CpltSet::Select | Propagators for selection constraints |

Gecode::Int | Finite domain integers |

Gecode::Int::Arithmetic | Numerical (arithmetic) propagators |

Gecode::Int::Bool | Boolean propagators |

Gecode::Int::Branch | Integer branchings |

Gecode::Int::Channel | Channel propagators |

Gecode::Int::Circuit | Circuit propagators |

Gecode::Int::Count | Counting propagators |

Gecode::Int::Cumulatives | Cumulatives propagators |

Gecode::Int::Distinct | Distinct propagators |

Gecode::Int::Dom | Domain propagators |

Gecode::Int::Element | Element propagators |

Gecode::Int::Extensional | Extensional propagators |

Gecode::Int::GCC | Global cardinality propagators |

Gecode::Int::Limits | Numerical limits for integer variables |

Gecode::Int::Linear | Linear propagators |

Gecode::Int::Rel | Simple relation propagators |

Gecode::Int::Sorted | Sorted propagators |

Gecode::Int::Unshare | Unsharing shared variables |

Gecode::Iter | Range and value iterators |

Gecode::Iter::Ranges | Range iterators |

Gecode::Iter::Ranges::Virt | Range iterators with virtual member functions |

Gecode::Iter::Values | Value iterators |

Gecode::Memory | Heap and automatic memory management |

Gecode::Memory::Config | Parameters defining memory management policy for spaces |

Gecode::MiniModel | Minimal modelling support |

Gecode::Reflection | Reflection support |

Gecode::Search | Search engines |

Gecode::Search::Config | Search configuration |

Gecode::Serialization | Serialization and deserialization support |

Gecode::Set | Finite integer sets |

Gecode::Set::Branch | Set branchings |

Gecode::Set::Convex | Propagators for convexity |

Gecode::Set::Distinct | Propagators for global distinctness constraints |

Gecode::Set::Element | Set element propagators |

Gecode::Set::Int | Propagators connecting set and int variables |

Gecode::Set::Limits | Numerical limits for set variables |

Gecode::Set::Projection | Support for set projectors |

Gecode::Set::Rel | Standard set relation propagators |

Gecode::Set::RelOp | Standard set operation propagators |

Gecode::Set::Sequence | Propagators for ordered sequences of sets |

Gecode::Support | Support algorithms and datastructures |

Test | General test support |

Test::Assign | Tests for assignments |

Test::Branch | Tests for branchings |

Test::CpltSet | Testing finite sets with complete domain representation |

Test::CpltSet::AtMost | Tests for intersection constraints |

Test::CpltSet::Cardinality | Tests for cardinality constraints |

Test::CpltSet::Dom | Tests for domain constraints |

Test::CpltSet::Partition | Tests for partition constraints |

Test::CpltSet::Rel | Tests for relation constraints |

Test::CpltSet::Selection | Tests for selection constraints |

Test::Int | Testing finite domain integers |

Test::Int::Arithmetic | Tests for arithmetic constraints |

Test::Int::Basic | Tests for basic setup |

Test::Int::Bool | Tests for Boolean constraints |

Test::Int::Channel | Tests for channel constraints |

Test::Int::Circuit | Tests for circuit constraints |

Test::Int::Count | Tests for count constraints |

Test::Int::Distinct | Tests for distinct constraints |

Test::Int::Dom | Tests for domain constraints |

Test::Int::Element | Tests for element constraints |

Test::Int::Extensional | Tests for extensional (relation) constraints |

Test::Int::GCC | Tests for counting constraints (global cardinality) |

Test::Int::Linear | Tests for linear constraints |

Test::Int::MiniModel | Tests for minimal modelling constraints (simple relations) |

Test::Int::MiniModelArithmetic | Tests for minimal modelling constraints (arithmetic) |

Test::Int::MiniModelBoolean | Tests for minimal modelling constraints (Boolean) |

Test::Int::MiniModelCount | Tests for minimal modelling constraints (counting) |

Test::Int::MiniModelLin | Tests for minimal modelling constraints (linear) |

Test::Int::Rel | Tests for relation constraints |

Test::Int::Scheduling | Tests for scheduling constraints |

Test::Int::Sorted | Tests for sorted constraints |

Test::Int::Unshare | Tests for unsharing variables in arrays |

Test::Search | Tests for search engines |

Test::Set | Testing finite sets |

Test::Set::Convex | Tests for convexity constraints |

Test::Set::Distinct | Tests for distinctness constraints |

Test::Set::Dom | Tests for domain constraints |

Test::Set::Element | Tests for set element constraints |

Test::Set::Int | Tests for combined int/set constraints |

Test::Set::Projection | Tests for projection constraints |

Test::Set::Rel | Tests for relation constraints |

Test::Set::RelOp | Tests for relation/operation constraints |

Test::Set::RelOpConst | Tests for relation/operation constraints with constants |

Test::Set::Sequence | Tests for sequence constraints |