Namespace List
Here is a list of all namespaces with brief descriptions:Gecode | Gecode toplevel namespace |
Gecode::Driver | Script commandline driver |
Gecode::FlatZinc | Interpreter for the FlatZinc language |
Gecode::FlatZinc::AST | Abstract syntax trees for the FlatZinc interpreter |
Gecode::Float | Floating point numbers |
Gecode::Float::Arithmetic | Arithmetic propagators |
Gecode::Float::Branch | Float branchers |
Gecode::Float::Limits | Numerical limits for floating point variables |
Gecode::Float::Linear | Linear propagators |
Gecode::Float::Rel | Simple relation propagators |
Gecode::Float::Transcendental | Transcendental propagators |
Gecode::Float::Trigonometric | Trigonometric propagators |
Gecode::Gist | The Gecode Interactive Search Tool |
Gecode::Gist::LayoutConfig | Parameters for the tree layout |
Gecode::Int | Finite domain integers |
Gecode::Int::Arithmetic | Numerical (arithmetic) propagators |
Gecode::Int::BinPacking | Bin-packing propagators |
Gecode::Int::Bool | Boolean propagators |
Gecode::Int::Branch | Integer branchers |
Gecode::Int::Channel | Channel propagators |
Gecode::Int::Circuit | Circuit propagators |
Gecode::Int::Count | Counting propagators |
Gecode::Int::Cumulative | Scheduling for cumulative resources |
Gecode::Int::Cumulatives | Cumulatives propagators |
Gecode::Int::Distinct | Distinct propagators |
Gecode::Int::Dom | Domain propagators |
Gecode::Int::Element | Element propagators |
Gecode::Int::Exec | Synchronized execution |
Gecode::Int::Extensional | Extensional propagators |
Gecode::Int::GCC | Global cardinality propagators (Counting) |
Gecode::Int::LDSB | Symmetry breaking for integer variables |
Gecode::Int::Limits | Numerical limits for integer variables |
Gecode::Int::Linear | Linear propagators |
Gecode::Int::Member | Membership propagators |
Gecode::Int::NoOverlap | No-overlap propagators |
Gecode::Int::NValues | Number of values propagators |
Gecode::Int::Precede | Value precedence propagators |
Gecode::Int::Rel | Simple relation propagators |
Gecode::Int::Sequence | Sequence propagators |
Gecode::Int::Sorted | Sorted propagators |
Gecode::Int::Unary | Int for unary resources |
Gecode::Int::Unshare | Unsharing shared variables |
Gecode::Int::ViewValGraph | Support classes for propagators using a view-value graph |
Gecode::Iter | Range and value iterators |
Gecode::Iter::Ranges | Range iterators |
Gecode::Iter::Values | Value iterators |
Gecode::Kernel | Kernel functionality |
Gecode::MemoryConfig | Parameters defining memory management policy for spaces |
Gecode::MiniModel | Minimalistic modeling support |
Gecode::Search | Search engines |
Gecode::Search::Config | Search configuration |
Gecode::Search::Meta | Meta search engine implementations |
Gecode::Search::Parallel | Parallel search engine implementations |
Gecode::Search::Sequential | Sequential search engine implementations |
Gecode::Set | Finite integer sets |
Gecode::Set::Branch | Set branchings |
Gecode::Set::Channel | Channeling propagators for set variables |
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::LDSB | Symmetry breaking for set variables |
Gecode::Set::Limits | Numerical limits for set variables |
Gecode::Set::Precede | Value precedence propagators |
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::Array | Tests for arrays |
Test::Assign | Tests for assignments |
Test::Branch | Tests for branchings |
Test::FlatZinc | Tests for FlatZinc |
Test::Float | Testing domain floats |
Test::Float::Arithmetic | Tests for arithmetic constraints |
Test::Float::Basic | Tests for basic setup |
Test::Float::Channel | Tests for channel constraints |
Test::Float::Dom | Tests for domain constraints |
Test::Float::Linear | Tests for linear constraints |
Test::Float::MiniModelLin | Tests for minimal modeling constraints (linear) |
Test::Float::Rel | Tests for relation constraints |
Test::Float::Transcendental | Tests for transcendental constraints |
Test::Float::Trigonometric | Tests for trigonometric constraints |
Test::Int | Testing finite domain integers |
Test::Int::Arithmetic | Tests for arithmetic constraints |
Test::Int::Basic | Tests for basic setup |
Test::Int::BinPacking | Tests for bin-packing constraint |
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::Cumulative | Tests for cumulative scheduling constraints |
Test::Int::Cumulatives | Tests for scheduling constraints |
Test::Int::Distinct | Tests for distinct constraints |
Test::Int::Dom | Tests for domain constraints |
Test::Int::Element | Tests for element constraints |
Test::Int::Exec | Tests for synchronized execution |
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::Member | Tests for membership 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::MiniModelSet | Tests for minimal modelling constraints (Set) |
Test::Int::NoOverlap | Tests for no-overlap constraint |
Test::Int::NValues | Tests for number of values constraints |
Test::Int::Precede | Tests for value precedence constraints |
Test::Int::Rel | Tests for relation constraints |
Test::Int::Sequence | Tests for sequence constraints |
Test::Int::Sorted | Tests for sorted constraints |
Test::Int::Unary | Tests for unary scheduling constraints |
Test::Int::Unshare | Tests for unsharing variables in arrays |
Test::LDSB | Testing for LDSB |
Test::NoGoods | Tests for search using no-goods |
Test::Search | Tests for search engines |
Test::Set | Testing finite sets |
Test::Set::Channel | Tests for set channeling constraints |
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::Exec | Tests for synchronized execution |
Test::Set::Int | Tests for combined int/set constraints |
Test::Set::Precede | Tests for value precedence 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 |
Test::Set::Var | Tests for set variable conors |