Class Hierarchy
This inheritance list is sorted roughly, but not completely, alphabetically:

BaseSpace |
Gecode::Driver::ExtractStepOption< BaseSpace > | Class to extract the step option value
Gecode::Driver::ScriptBase< Driver::ExtractStepOption< FloatMinimizeSpace > > |
Gecode::Driver::ScriptBase< Driver::ExtractStepOption< FloatMaximizeSpace > > |
ArchimedeanSpiral | Example: Archimedean spiral
DescartesFolium | Example: Folium of Descartes
GoldenSpiral | Example: Golden spiral
Gecode::Driver::IgnoreStepOption< BaseSpace > | Class to ignore the step option value
Gecode::Driver::ScriptBase< Driver::IgnoreStepOption< Space > > |
AllInterval | Example: All-interval series
Alpha | Example: Alpha puzzle
BIBD | Example: Balanced incomplete block design (BIBD)
BlackHole | Example: Black hole patience
CarSequencing | Example: Car sequencing
CartesianHeart | Example: Cartesian Heart
Crew | Example: Airline crew allocation
Crossword | Example: Crossword puzzle
CrowdedChess | Example: Crowded chessboard
Domino | Example: Solitaire domino
Donald | Example: DONALD+GERALD=ROBERT puzzle
EFPA | Example: Equidistant Frequency Permutation Arrays
Eq20 | Example: Solving 20 linear equations
Golf | Example: Golf tournament
Grocery | Example: Grocery puzzle
Hamming | Example: Generating Hamming codes
Kakuro | Example: Kakuro
Knights | Base-class for knight's tour example
KnightsCircuit | Example: n-Knights tour (model using circuit)
KnightsReified | Example: n-Knight's tour (simple model)
LangfordNumber | Example: Langford's number problem
MagicSequence | Example: Magic sequence
MagicSquare | Example: Magic squares
MagicSquare | Example: Magic squares
MineSweeper | Example: Minesweeper
Money | Example: SEND+MORE=MONEY puzzle
MultiBinPacking | Example: Multi-dimensional bin packing
Nonogram | Example: Nonogram
OrthoLatinSquare | Example: Orthogonal latin squares
Partition | Example: partition numbers into two groups
Pentominoes | Example: Pentominoes
PerfectSquare | Example: Packing squares into a rectangle
QCP | Example: Quasigroup completion
Queens | Example: n-Queens puzzle
Sat | Example: CNF SAT solver
Schur | Example: Schur's lemma
SportsLeague | Example: Sports league scheduling
Steiner | Example: Steiner triples
Sudoku | Base class for Sudoku puzzles
SudokuInt | Example: Solving Sudoku puzzles using integer constraints
SudokuMixed | Example: Solving Sudoku puzzles using both set and integer constraints
SudokuSet | Example: Solving Sudoku puzzles using set constraints
SudokuMixed | Example: Solving Sudoku puzzles using both set and integer constraints
Sudoku | Base class for Sudoku puzzles
Warehouses< Script > | Example: Locating warehouses
WordSquare | Example: Word-square puzzle
Gecode::Driver::ScriptBase< Driver::IgnoreStepOption< IntMinimizeSpace > > |
Warehouses< IntMinimizeScript > |
SumCostWarehouses | Model with cost defined as sum
BACP | Example: The balanced academic curriculum problem
BinPacking | Example: Bin packing
ColoredMatrix | Example: Colored matrix example
DominatingQueens | Example: Dominating Queens
GolombRuler | Example: Finding optimal Golomb rulers
GraphColor | Example: Clique-based graph coloring
JobShopBase | Example: Job Shop Scheduling
JobShopProbe | Model for probing
JobShopSolve | Model for solving
OpenShop | Example: open-shop scheduling
Photo | Example: Placing people on a photo
Radiotherapy | Example: Radiotherapy
SteelMill | Example: Steel-mill slab design problem
TSP | Example: Travelling salesman problem (TSP)
Gecode::Driver::ScriptBase< Driver::IgnoreStepOption< IntMaximizeSpace > > |
IndSet | Example: Independent sets in a graph
QueenArmies | Example: Peaceable co-existing armies of queens
Gecode::Driver::ScriptBase< Driver::IgnoreStepOption< IntLexMinimizeSpace > > |
Warehouses< IntLexMinimizeScript > |
LexCostWarehouses | Model with cost defined lexicographically
Gecode::Driver::ScriptBase< Driver::IgnoreStepOption< IntLexMaximizeSpace > > |
Gecode::Driver::ScriptBase< BaseSpace > | Parametric base-class for scripts
Course | A course
Curriculum | A curriculum
Dictionary | A simple dictionary class
E |
Gecode::Driver::EngineToMeta< T, E > | Wrapper class to add engine template argument
Gecode::ActorLink | Double-linked list for actors
Gecode::Actor | Base-class for both propagators and branchers
Gecode::Brancher | Base-class for branchers
Gecode::ViewBrancher< IntView, Filter, n > |
Gecode::Int::Branch::ViewValuesBrancher< n, min, Filter, Print > | Brancher by view and values selection
CDBF | Custom brancher implementing CDBF
Gecode::FlatZinc::AuxVarBrancher | Branching on the introduced variables
Gecode::FlatZinc::IntBoolBrancherBase | Base-class for brancher for integer and Boolean views
Gecode::FlatZinc::IntBoolBrancher< Merit > | Brancher for integer and Boolean views
Gecode::Gist::StopBrancher | Brancher that stops exploration in Gist
Gecode::Kernel::FunctionBranch | Brancher for calling a function
Gecode::ViewBrancher< View, Filter, n > | Generic brancher by view selection
Gecode::ViewValBrancher< View, n, Val, a, Filter, Print > | Generic brancher by view and value selection
Gecode::Int::LDSB::LDSBBrancher< View, n, Val, a, Filter, Print > | Symmetry-breaking brancher with generic view and value selection
Gecode::Set::LDSB::LDSBSetBrancher< View, n, Val, a, Filter, Print > | Symmetry-breaking brancher with generic view and value selection
QueenArmies::QueenBranch | Custom brancher for Peacable queens
Radiotherapy::NestedSearch | Nested search on the q variables
SteelMill::SteelMillBranch | Custom brancher for steel mill slab design
Warnsdorff | Custom brancher for knight's tours using Warnsdorff's rule
Gecode::LocalObject | Local (space-shared) object
Gecode::Propagator | Base-class for propagators
Gecode::BinaryPropagator< View, PC_FLOAT_BND > |
Gecode::Float::Arithmetic::MultZeroOne< View > | Bounds or domain consistent propagator for
Gecode::Float::Arithmetic::Sqr< View > | Propagator for bounds consistent square operator
Gecode::Float::Rel::Le< View > | Less propagator
Gecode::Float::Rel::Lq< View > | Less or equal propagator
Gecode::BinaryPropagator< View, PC_INT_BND > |
Gecode::Int::Arithmetic::AbsBnd< View > | Bounds consistent absolute value propagator
Gecode::BinaryPropagator< View, PC_INT_DOM > |
Gecode::Int::Arithmetic::AbsDom< View > | Domain consistent absolute value propagator
Gecode::BinaryPropagator< IntView, PC_INT_BND > |
Gecode::Int::Arithmetic::NrootBnd< Ops > | Bounds consistent n-th root propagator
Gecode::Int::Arithmetic::NrootPlusBnd< Ops, minus > | Positive bounds consistent n-th root propagator
Gecode::Int::Arithmetic::PowBnd< Ops > | Bounds consistent power propagator
Gecode::BinaryPropagator< IntView, PC_INT_DOM > |
Gecode::Int::Arithmetic::NrootDom< Ops > | Domain consistent n-th root propagator
Gecode::Int::Arithmetic::NrootPlusDom< Ops, minus > | Domain consistent n-th root propagator
Gecode::Int::Arithmetic::PowDom< Ops > | Domain consistent power propagator
Gecode::Int::Distinct::EqIte | Equal-if-then-else domain-consistent propagator
Gecode::BinaryPropagator< BoolView, PC_BOOL_VAL > |
Gecode::Int::Bool::NaryEqv | Boolean n-ary equivalence propagator
Gecode::BinaryPropagator< BV, PC_BOOL_VAL > |
Gecode::Int::Bool::NaryOrTrue< BV > | Boolean n-ary disjunction propagator (true)
Gecode::BinaryPropagator< VX, PC_INT_VAL > |
Gecode::Int::Linear::NqBoolInt< VX > | Propagator for integer disequal to Boolean sum (cardinality)
Gecode::BinaryPropagator< SetView, PC_SET_ANY > |
Gecode::Set::Convex::ConvexHull | Propagator for the convex hull constraint
Gecode::Float::Linear::Lin< P, N, PC_FLOAT_BND > |
Gecode::Float::Linear::Eq< P, N > | Propagator for bounds consistent n-ary linear equality
Gecode::Float::Linear::Lq< P, N > | Propagator for bounds consistent n-ary linear less or equal
Gecode::Int::Bool::BoolBinary< BV, BV > |
Gecode::Int::Bool::Lq< BV > | Boolean less or equal propagator
Gecode::Int::Bool::OrTrueSubsumed< BV > | Binary Boolean disjunction propagator (subsumed)
Gecode::Int::Bool::QuadOrTrue< BV > | Quarternary Boolean disjunction propagator (true)
Gecode::Int::Bool::TerOrTrue< BV > | Ternary Boolean disjunction propagator (true)
Gecode::Int::Bool::IteBase< V0, V1, V2, PC_INT_BND > |
Gecode::Int::Bool::IteBnd< V0, V1, V2 > | If-then-else bounds-consistent propagator
Gecode::Int::Bool::IteBase< V0, V1, V2, PC_INT_DOM > |
Gecode::Int::Bool::IteDom< V0, V1, V2 > | If-then-else domain-consistent propagator
Gecode::Int::Channel::Base< DomInfo< View, Offset >, Offset, PC_INT_DOM > |
Gecode::Int::Channel::Dom< View, Offset, shared > | Domain consistent channel propagator
Gecode::Int::Channel::Base< ValInfo< View >, Offset, PC_INT_VAL > |
Gecode::Int::Channel::Val< View, Offset, shared > | Naive channel propagator
Gecode::Int::Element::View< VA, VB, VC, PC_INT_BND > |
Gecode::Int::Element::ViewBnd< VA, VB, VC > | Bounds consistent element propagator for array of views
Gecode::Int::Element::View< VA, VB, VC, PC_INT_DOM > |
Gecode::Int::Element::ViewDom< VA, VB, VC > | Domain consistent element propagator for array of views
Gecode::Int::Extensional::Compact< View, true >::ValidSupports< View, true > |
Gecode::Int::Extensional::Range< View, true > |
Gecode::Int::Extensional::Compact< View, true >::CTAdvisor< View, true > |
Gecode::Int::Extensional::Compact< View, true >::LostSupports< View, true > |
Gecode::Int::Extensional::Compact< View, false >::ValidSupports< View, false > |
Gecode::Int::Extensional::Range< View, false > |
Gecode::Int::Extensional::Compact< View, false >::CTAdvisor< View, false > |
Gecode::Int::Extensional::Compact< View, false > |
Gecode::Int::Extensional::NegCompact< View, Table > | Domain consistent negative extensional propagator
Gecode::Int::Extensional::ReCompact< View, Table, CtrlView, rm > | Domain consistent reified extensional propagator
Gecode::Int::Extensional::Compact< View, true > |
Gecode::Int::Extensional::PosCompact< View, Table > | Domain consistent positive extensional propagator
Gecode::Int::Linear::Lin< Val, View, View, PC_INT_DOM > |
Gecode::Int::Linear::DomEq< Val, View > | Propagator for domain consistent n-ary linear equality
Gecode::Int::Linear::Lin< Val, P, N, PC_INT_BND > |
Gecode::Int::Linear::Eq< Val, P, N > | Propagator for bounds consistent n-ary linear equality
Gecode::Int::Linear::Lq< Val, P, N > | Propagator for bounds consistent n-ary linear less or equal
Gecode::Int::Linear::Lin< Val, P, N, PC_INT_VAL > |
Gecode::Int::Linear::Nq< Val, P, N > | Propagator for bounds consistent n-ary linear disequality
Gecode::Int::Linear::LinBin< Val, A, B, PC_INT_BND > |
Gecode::Int::Linear::EqBin< Val, A, B > | Propagator for bounds consistent binary linear equality
Gecode::Int::Linear::GqBin< Val, A, B > | Propagator for bounds consistent binary linear greater or equal
Gecode::Int::Linear::LqBin< Val, A, B > | Propagator for bounds consistent binary linear less or equal
Gecode::Int::Linear::LinBin< Val, A, B, PC_INT_VAL > |
Gecode::Int::Linear::NqBin< Val, A, B > | Propagator for bounds consistent binary linear disequality
Gecode::Int::Linear::LinBoolScale< SBAP, SBAN, VX, PC_INT_BND > |
Gecode::Int::Linear::EqBoolScale< SBAP, SBAN, VX > | Propagator for equality to Boolean sum with coefficients
Gecode::Int::Linear::LqBoolScale< SBAP, SBAN, VX > | Propagator for inequality to Boolean sum with coefficients
Gecode::Int::Linear::LinBoolScale< SBAP, SBAN, VX, PC_INT_VAL > |
Gecode::Int::Linear::NqBoolScale< SBAP, SBAN, VX > | Propagator for disequality to Boolean sum with coefficients
Gecode::Int::Linear::LinTer< Val, A, B, C, PC_INT_BND > |
Gecode::Int::Linear::EqTer< Val, A, B, C > | Propagator for bounds consistent ternary linear equality
Gecode::Int::Linear::LqTer< Val, A, B, C > | Propagator for bounds consistent ternary linear less or equal
Gecode::Int::Linear::LinTer< Val, A, B, C, PC_INT_VAL > |
Gecode::Int::Linear::NqTer< Val, A, B, C > | Propagator for bounds consistent ternary linear disquality
Gecode::Int::Linear::ReLinBin< Val, A, B, PC_INT_BND, Ctrl > |
Gecode::Int::Linear::ReEqBin< Val, A, B, Ctrl, rm > | Propagator for reified bounds consistent binary linear equality
Gecode::Int::Linear::ReLinBin< Val, A, B, PC_INT_BND, BoolView > |
Gecode::Int::Linear::ReLqBin< Val, A, B, rm > | Propagator for reified bounds consistent binary linear less or equal
Gecode::Int::ReBinaryPropagator< View, PC_FLOAT_BND, CtrlView > |
Gecode::Float::Rel::ReEq< View, CtrlView, rm > | Reified binary bounds consistent equality propagator
Gecode::Float::Rel::ReLq< View, CtrlView, rm > | Reified less or equal propagator
Gecode::Int::ReBinaryPropagator< View, PC_INT_BND, CtrlView > |
Gecode::Int::Rel::ReEqBnd< View, CtrlView, rm > | Reified binary bounds consistent equality propagator
Gecode::Int::Rel::ReLq< View, CtrlView, rm > | Reified less or equal propagator
Gecode::Int::ReBinaryPropagator< View, PC_INT_DOM, CtrlView > |
Gecode::Int::Rel::ReEqDom< View, CtrlView, rm > | Reified binary domain consistent equality propagator
Gecode::Int::ReMixBinaryPropagator< View, PC_SET_ANY, Gecode::Int::IntView, Gecode::Int::PC_INT_DOM, Gecode::Int::BoolView > |
Gecode::Set::Int::ReMaxElement< View, rm > | Reified propagator for maximum element
Gecode::Set::Int::ReMinElement< View, rm > | Propagator for reified minimum element
Gecode::Int::ReUnaryPropagator< View, PC_FLOAT_BND, CtrlView > |
Gecode::Float::Rel::ReEqFloat< View, CtrlView, rm > | Reified bounds consistent equality with float propagator
Gecode::Float::Rel::ReLeFloat< View, CtrlView, rm > | Reified less with float propagator
Gecode::Float::Rel::ReLqFloat< View, CtrlView, rm > | Reified less or equal with float propagator
Gecode::Int::ReUnaryPropagator< View, PC_INT_DOM, BoolView > |
Gecode::Int::Dom::ReIntSet< View, rm > | Reified domain dom-propagator
Gecode::Int::Dom::ReRange< View, rm > | Reified range dom-propagator
Gecode::Int::ReUnaryPropagator< View, PC_INT_BND, CtrlView > |
Gecode::Int::Rel::ReEqBndInt< View, CtrlView, rm > | Reified bounds consistent equality with integer propagator
Gecode::Int::Rel::ReLqInt< View, CtrlView, rm > | Reified less or equal with integer propagator
Gecode::Int::ReUnaryPropagator< View, PC_INT_DOM, CtrlView > |
Gecode::Int::Rel::ReEqDomInt< View, CtrlView, rm > | Reified domain consistent equality with integer propagator
Gecode::Int::TaskProp< ManTask, PL > |
Gecode::Int::Cumulative::ManProp< ManTask, Cap, PL > | Scheduling propagator for cumulative resource with mandatory tasks
Gecode::Int::Unary::ManProp< ManTask, PL > | Scheduling propagator for unary resource with mandatory tasks
Gecode::Int::TaskProp< OptTask, PL > |
Gecode::Int::Cumulative::OptProp< OptTask, Cap, PL > | Scheduling propagator for cumulative resource with optional tasks
Gecode::Int::Unary::OptProp< OptTask, PL > | Scheduling propagator for unary resource with optional tasks
Gecode::MixBinaryPropagator< A, PC_FLOAT_BND, B, PC_FLOAT_BND > |
Gecode::Float::Arithmetic::Abs< A, B > | Propagator for bounds consistent absolute operator
Gecode::Float::Arithmetic::NthRoot< A, B > | Propagator for bounds consistent nth root operator
Gecode::Float::Arithmetic::Pow< A, B > | Propagator for bounds consistent pow operator
Gecode::Float::Arithmetic::Sqrt< A, B > | Propagator for bounds consistent square root operator
Gecode::Float::Transcendental::Exp< A, B > | Propagator for bounds consistent exp operator
Gecode::Float::Transcendental::Pow< A, B > | Propagator for bounds consistent pow operator
Gecode::Float::Trigonometric::ACos< A, B > | Propagator for bounds consistent arc cosinus operator
Gecode::Float::Trigonometric::ASin< A, B > | Propagator for bounds consistent arc sinus operator
Gecode::Float::Trigonometric::ATan< A, B > | Propagator for bounds consistent arc tangent operator
Gecode::Float::Trigonometric::Cos< A, B > | Propagator for bounds consistent cosinus operator
Gecode::Float::Trigonometric::Sin< A, B > | Propagator for bounds consistent sinus operator
Gecode::Float::Trigonometric::Tan< A, B > | Propagator for bounds consistent tangent operator
Gecode::MixBinaryPropagator< VA, PC_FLOAT_BND, VB, PC_FLOAT_BND > |
Gecode::Float::Arithmetic::SqrPlus< VA, VB > | Bounds consistent positive square propagator
Gecode::MixBinaryPropagator< A, PC_FLOAT_BND, B, Gecode::Int::PC_INT_BND > |
Gecode::Float::Channel::Channel< A, B > | Propagator for bounds consistent integer part operator
Gecode::MixBinaryPropagator< View0, PC_FLOAT_BND, View1, PC_FLOAT_BND > |
Gecode::Float::Rel::Eq< View0, View1 > | Binary bounds consistent equality propagator
Gecode::MixBinaryPropagator< View0, PC_FLOAT_VAL, View1, PC_FLOAT_VAL > |
Gecode::Float::Rel::Nq< View0, View1 > | Binary bounds consistent disequality propagator
Gecode::MixBinaryPropagator< VA, PC_INT_BND, VB, PC_INT_BND > |
Gecode::Int::Arithmetic::PowPlusBnd< VA, VB, Ops > | Bounds consistent positive power propagator
Gecode::MixBinaryPropagator< VA, PC_INT_DOM, VB, PC_INT_DOM > |
Gecode::Int::Arithmetic::PowPlusDom< VA, VB, Ops > | Domain consistent positive power propagator
Gecode::MixBinaryPropagator< VX, PC_BOOL_VAL, VY, PC_BOOL_VAL > |
Gecode::Int::Bool::ClauseTrue< VX, VY > | Boolean clause propagator (disjunctive, true)
Gecode::MixBinaryPropagator< BoolView, PC_BOOL_VAL, IntView, PC_INT_VAL > |
Gecode::Int::Channel::LinkSingle | Link propagator for a single Boolean view
Gecode::MixBinaryPropagator< View0, PC_INT_BND, View1, PC_INT_BND > |
Gecode::Int::Rel::EqBnd< View0, View1 > | Binary bounds consistent equality propagator
Gecode::MixBinaryPropagator< View0, PC_INT_DOM, View1, PC_INT_DOM > |
Gecode::Int::Rel::EqDom< View0, View1 > | Binary domain consistent equality propagator
Gecode::MixBinaryPropagator< View0, PC_INT_VAL, View1, PC_INT_VAL > |
Gecode::Int::Rel::EqVal< View0, View1 > | Binary value propagation equality propagator
Gecode::MixBinaryPropagator< V0, PC_INT_BND, V1, PC_INT_BND > |
Gecode::Int::Rel::Le< V0, V1 > | Less propagator
Gecode::Int::Rel::Lq< V0, V1 > | Less or equal propagator
Gecode::MixBinaryPropagator< V0, PC_INT_VAL, V1, PC_INT_VAL > |
Gecode::Int::Rel::Nq< V0, V1 > | Binary disequality propagator
Gecode::MixBinaryPropagator< View, PC_SET_CARD, Gecode::Int::IntView, Gecode::Int::PC_INT_BND > |
Gecode::Set::Int::Card< View > | Propagator for cardinality
Gecode::MixBinaryPropagator< View, PC_SET_ANY, Gecode::Int::IntView, Gecode::Int::PC_INT_BND > |
Gecode::Set::Int::MaxElement< View > | Propagator for maximum element
Gecode::Set::Int::MinElement< View > | Propagator for minimum element
Gecode::MixBinaryPropagator< View, PC_SET_ANY, Gecode::Int::IntView, Gecode::Int::PC_INT_DOM > |
Gecode::Set::Int::NotMaxElement< View > | Propagator for not maximum element
Gecode::Set::Int::NotMinElement< View > | Propagator for not minimum element
Gecode::MixBinaryPropagator< View0, PC_SET_VAL, View1, PC_SET_VAL > |
Gecode::Set::Rel::Distinct< View0, View1 > | Propagator for negated equality
Gecode::MixBinaryPropagator< View0, PC_SET_ANY, View1, PC_SET_ANY > |
Gecode::Set::Rel::Eq< View0, View1 > | Propagator for set equality
Gecode::Set::Rel::Lq< View0, View1, strict > | Propagator for set less than or equal
Gecode::MixBinaryPropagator< View0, PC_SET_CLUB, View1, PC_SET_CGLB > |
Gecode::Set::Rel::NoSubset< View0, View1 > | Propagator for the negated subset constraint
Gecode::MixBinaryPropagator< View0, PC_SET_CGLB, View1, PC_SET_CLUB > |
Gecode::Set::Rel::Subset< View0, View1 > | Propagator for the subset constraint
Gecode::MixNaryOnePropagator< Gecode::Int::BoolView, Gecode::Int::PC_BOOL_VAL, View, PC_GEN_NONE > |
Gecode::Set::Channel::ChannelBool< View > | Propagator for channelling between set variable and its characteristic function
Gecode::MixNaryOnePropagator< VX, PC_BOOL_NONE, VY, PC_BOOL_VAL > |
Gecode::Int::Bool::NaryOr< VX, VY > | Boolean n-ary disjunction propagator
Gecode::MixNaryOnePropagator< BoolView, PC_BOOL_NONE, IntView, PC_INT_DOM > |
Gecode::Int::Channel::LinkMulti | Link propagator for multiple Boolean views
Gecode::MixNaryOnePropagator< IntView, PC_INT_DOM, VY, PC_INT_BND > |
Gecode::Int::NValues::IntBase< VY > | Number of values propagator for integer views base class
Gecode::Int::NValues::EqInt< VY > | Equal to number of values propagator for integer views
Gecode::Int::NValues::GqInt< VY > | Greater or equal to number of values propagator for integer views
Gecode::Int::NValues::LqInt< VY > | Less or equal to number of values propagator for integer views
Gecode::MixNaryOnePropagator< View0, PC_SET_ANY, View1, PC_SET_ANY > |
Gecode::Set::RelOp::IntersectionN< View0, View1 > | Propagator for nary intersection
Gecode::Set::RelOp::PartitionN< View0, View1 > | Propagator for nary partition
Gecode::Set::RelOp::UnionN< View0, View1 > | Propagator for nary union
Gecode::MixTernaryPropagator< A, PC_FLOAT_BND, B, PC_FLOAT_BND, C, PC_FLOAT_BND > |
Gecode::Float::Arithmetic::Div< A, B, C > | Propagator for bounds division operator
Gecode::Float::Arithmetic::Max< A, B, C > | Propagator for bounds consistent max operator
Gecode::Float::Arithmetic::Min< A, B, C > | Propagator for bounds consistent min operator
Gecode::MixTernaryPropagator< VA, PC_FLOAT_BND, VB, PC_FLOAT_BND, VC, PC_FLOAT_BND > |
Gecode::Float::Arithmetic::MultPlus< VA, VB, VC > | Bounds consistent positive multiplication propagator
Gecode::MixTernaryPropagator< VA, PC_INT_BND, VB, PC_INT_BND, VC, PC_INT_BND > |
Gecode::Int::Arithmetic::DivPlusBnd< VA, VB, VC > | Bounds consistent positive division propagator
Gecode::Int::Arithmetic::MultPlusBnd< VA, VB, VC > | Bounds consistent positive multiplication propagator
Gecode::MixTernaryPropagator< VA, PC_INT_DOM, VB, PC_INT_DOM, VC, PC_INT_DOM > |
Gecode::Int::Arithmetic::MultPlusDom< VA, VB, VC > | Domain consistent positive multiplication propagator
Gecode::MixTernaryPropagator< View0, PC_SET_ANY, View1, PC_SET_ANY, View2, PC_SET_ANY > |
Gecode::Set::RelOp::Intersection< View0, View1, View2 > | Propagator for ternary intersection
Gecode::Set::RelOp::SubOfUnion< View0, View1, View2 > | Propagator for the subset of union
Gecode::Set::RelOp::Union< View0, View1, View2 > | Propagator for ternary union
Gecode::MixTernaryPropagator< View0, PC_SET_ANY, View1, PC_SET_ANY, View2, PC_SET_CLUB > |
Gecode::Set::RelOp::SuperOfInter< View0, View1, View2 > | Propagator for the superset of intersection
Gecode::NaryOnePropagator< View, PC_FLOAT_BND > |
Gecode::Float::Arithmetic::NaryMax< View > | Bounds consistent n-ary maximum propagator
Gecode::NaryOnePropagator< View, PC_INT_BND > |
Gecode::Int::Arithmetic::NaryMaxBnd< View > | Bounds consistent n-ary maximum propagator
Gecode::NaryOnePropagator< View, PC_INT_DOM > |
Gecode::Int::Arithmetic::NaryMaxDom< View > | Domain consistent n-ary maximum propagator
Gecode::Int::Member::Prop< View > | Membership propagator
Gecode::Int::Member::ReProp< View, rm > | Reified membership propagator
Gecode::NaryOnePropagator< SetView, PC_SET_ANY > |
Gecode::Set::Sequence::SeqU | Propagator for the sequenced union constraint
Gecode::NaryPropagator< View, PC_GEN_NONE > |
Gecode::Action::Recorder< View > | Propagator for recording action information
Gecode::CHB::Recorder< View > | Propagator for recording chb information
Gecode::NaryPropagator< View, PC_FLOAT_BND > |
Gecode::Float::Rel::NaryEq< View > | N-ary bounds consistent equality propagator
Gecode::NaryPropagator< BV, PC_BOOL_VAL > |
Gecode::Int::Bool::NaryEq< BV > | N-ary Boolean equality propagator
Gecode::NaryPropagator< VX, PC_BOOL_NONE > |
Gecode::Int::Bool::NaryLq< VX > | Nary Boolean less or equal propagator
Gecode::NaryPropagator< View, Int::PC_INT_DOM > |
Gecode::Int::Circuit::Base< View, Offset > | Base-class for circuit propagator
Gecode::Int::Circuit::Dom< View, Offset > | "Domain consistent" circuit propagator
Gecode::Int::Circuit::Val< View, Offset > | "Value-consistent" circuit propagator
Gecode::NaryPropagator< View, PC_INT_DOM > |
Gecode::Int::Distinct::Dom< View > | Domain consistent distinct propagator
Gecode::Int::Rel::NaryEqDom< View > | N-ary domain consistent equality propagator
Gecode::NaryPropagator< View, PC_INT_VAL > |
Gecode::Int::Distinct::Val< View > | Naive value distinct propagator
Gecode::Int::Rel::NaryNq< View > | Nary disequality propagator
Gecode::NaryPropagator< View, PC_INT_NONE > |
Gecode::Int::Precede::Single< View > | Single value precedence propagator
Gecode::Int::Rel::NaryLqLe< View, o > | N-ary less and less or equal propagator
Gecode::NaryPropagator< View, PC_INT_BND > |
Gecode::Int::Rel::NaryEqBnd< View > | N-ary bounds consistent equality propagator
Gecode::NaryPropagator< SetView, PC_SET_ANY > |
Gecode::Set::Distinct::AtmostOne | Propagator for the AtMostOneIntersection constraint
Gecode::Set::Sequence::Seq | Propagator for the sequence constraint
Gecode::NaryPropagator< View, PC_SET_NONE > |
Gecode::Set::Precede::Single< View > | Single value precedence propagator
Gecode::TernaryPropagator< View, PC_FLOAT_BND > |
Gecode::Float::Arithmetic::Mult< View > | Bounds consistent multiplication propagator
Gecode::TernaryPropagator< View, PC_INT_BND > |
Gecode::Int::Arithmetic::DivBnd< View > | Bounds consistent division propagator
Gecode::Int::Arithmetic::DivMod< View > | Integer division/modulo propagator
Gecode::Int::Arithmetic::MaxBnd< View > | Bounds consistent ternary maximum propagator
Gecode::TernaryPropagator< View, PC_INT_DOM > |
Gecode::Int::Arithmetic::MaxDom< View > | Domain consistent ternary maximum propagator
Gecode::Int::Distinct::TerDom< View > | Ternary domain consistent distinct propagator
Gecode::TernaryPropagator< IntView, PC_INT_BND > |
Gecode::Int::Arithmetic::MultBnd | Bounds consistent multiplication propagator
Gecode::TernaryPropagator< IntView, PC_INT_DOM > |
Gecode::Int::Arithmetic::MultDom | Domain consistent multiplication propagator
Gecode::Int::Element::Pair | Domain consistent pair propagator
Gecode::UnaryPropagator< View, PC_FLOAT_VAL > |
Gecode::Float::Rel::NqFloat< View > | Binary bounds consistent disequality propagator with float value
Gecode::UnaryPropagator< BoolView, PC_BOOL_VAL > |
Gecode::Int::Exec::When | Conditional propagator
Gecode::UnaryPropagator< SetView, PC_SET_ANY > |
Gecode::Set::Convex::Convex | Propagator for the convex constraint
Gecode::UnaryPropagator< View0, PC_SET_ANY > |
Gecode::Set::Rel::DistinctDoit< View0 > | Propagator for negated equality
Gecode::ViewTraceRecorder< Float::FloatView > |
Gecode::ViewTraceRecorder< Int::IntView > |
Gecode::ViewTraceRecorder< Int::BoolView > |
Gecode::ViewTraceRecorder< Set::SetView > |
Gecode::BinaryPropagator< View, pc > | Binary propagator
Gecode::Int::Arithmetic::MultZeroOne< View, pc > | Bounds or domain consistent propagator for
Gecode::Float::Bool::Ite< View > | If-then-else propagator
Gecode::Float::Linear::Lin< P, N, pc > | Base-class for n-ary linear propagators
Gecode::Int::Arithmetic::ArgMax< VA, VB, tiebreak > | Argument maximum propagator
Gecode::Int::BinPacking::Pack | Bin-packing propagator
Gecode::Int::Bool::BoolBinary< BVA, BVB > | Base-class for binary Boolean propagators
Gecode::Int::Bool::BinOrTrue< BVA, BVB > | Binary Boolean disjunction propagator (true)
Gecode::Int::Bool::Eq< BVA, BVB > | Boolean equality propagator
Gecode::Int::Bool::BoolTernary< BVA, BVB, BVC > | Base-class for ternary Boolean propagators
Gecode::Int::Bool::Eqv< BVA, BVB, BVC > | Boolean equivalence propagator
Gecode::Int::Bool::Or< BVA, BVB, BVC > | Boolean disjunction propagator
Gecode::Int::Bool::Clause< VX, VY > | Boolean clause propagator (disjunctive)
Gecode::Int::Bool::IteBase< V0, V1, V2, pc > | If-then-else propagator base-class
Gecode::Int::Channel::Base< Info, Offset, pc > | Base-class for channel propagators
Gecode::Int::Count::IntBase< VX, VY > | Baseclass for count propagators (integer)
Gecode::Int::Count::EqInt< VX, VY > | Propagator for counting views (equal integer to number of equal views)
Gecode::Int::Count::GqInt< VX, VY > | Propagator for counting views (greater or equal integer to number of equal views)
Gecode::Int::Count::LqInt< VX, VY > | Propagator for counting views (less or equal integer to number of equal views)
Gecode::Int::Count::ViewBase< VX, VY, VZ > | Base-class for count propagators (view)
Gecode::Int::Count::EqView< VX, VY, VZ, shr, dom > | Propagator for counting views (equal to number of equal views)
Gecode::Int::Count::GqView< VX, VY, VZ, shr, dom > | Propagator for counting views (greater or equal to number of equal views)
Gecode::Int::Count::LqView< VX, VY, VZ, shr > | Propagator for counting views (less or equal to number of equal views)
Gecode::Int::Cumulatives::Val< ViewM, ViewP, ViewU, View > | Propagator for the cumulatives constraint
Gecode::Int::Distinct::Bnd< View > | Bounds consistent distinct propagator
Gecode::Int::Element::Int< V0, V1, Idx, Val > | Element propagator for array of integers
Gecode::Int::Element::View< VA, VB, VC, pc_ac > | Base-class for element propagator for array of views
Gecode::Int::Extensional::Compact< View, pos > | Base class for compact table propagator
Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx > | Domain consistent layered graph (regular) propagator
Gecode::Int::GCC::Bnd< Card > | Bounds consistent global cardinality propagator
Gecode::Int::GCC::Dom< Card > | Domain consistent global cardinality propagator
Gecode::Int::GCC::Val< Card > | Value consistent global cardinality propagator
Gecode::Int::Linear::Lin< Val, P, N, pc > | Base-class for n-ary linear propagators
Gecode::Int::Linear::ReLin< Val, P, N, PC_INT_BND, Ctrl > |
Gecode::Int::Linear::ReEq< Val, P, N, Ctrl, rm > | Propagator for reified bounds consistent n-ary linear equality
Gecode::Int::Linear::ReLin< Val, P, N, PC_INT_BND, BoolView > |
Gecode::Int::Linear::ReLq< Val, P, N, rm > | Propagator for reified bounds consistent n-ary linear less or equal
Gecode::Int::Linear::ReLin< Val, P, N, pc, Ctrl > | Base-class for reified n-ary linear propagators
Gecode::Int::Linear::LinBin< Val, A, B, pc > | Base-class for binary linear propagators
Gecode::Int::Linear::LinBoolInt< VX > | Baseclass for integer Boolean sum
Gecode::Int::Linear::EqBoolInt< VX > | Propagator for integer equal to Boolean sum (cardinality)
Gecode::Int::Linear::GqBoolInt< VX > | Propagator for integer less or equal to Boolean sum (cardinality)
Gecode::Int::Linear::LinBoolScale< SBAP, SBAN, VX, pcx > | Base class for linear Boolean constraints with coefficients
Gecode::Int::Linear::LinBoolView< XV, YV > | Base-class for Boolean linear propagators
Gecode::Int::Linear::EqBoolView< XV, YV > | Propagator for equality to Boolean sum (cardinality)
Gecode::Int::Linear::GqBoolView< XV, YV > | Propagator for greater or equal to Boolean sum (cardinality)
Gecode::Int::Linear::NqBoolView< XV, YV > | Propagator for disequality to Boolean sum (cardinality)
Gecode::Int::Linear::LinTer< Val, A, B, C, pc > | Base-class for ternary linear propagators
Gecode::Int::Linear::ReLinBin< Val, A, B, pc, Ctrl > | Base-class for reified binary linear propagators
Gecode::Int::Linear::ReLinBoolInt< VX, VB > | Baseclass for reified integer Boolean sum
Gecode::Int::Linear::ReEqBoolInt< VX, VB, rm > | Propagator for reified integer equal to Boolean sum (cardinality)
Gecode::Int::Linear::ReGqBoolInt< VX, VB, rm > | Propagator for reified integer less or equal to Boolean sum (cardinality)
Gecode::Int::NValues::BoolBase< VY > | Number of values propagator for Boolean views base class
Gecode::Int::NValues::EqBool< VY > | Equal to number of values propagator for Boolean views
Gecode::Int::NValues::GqBool< VY > | Greater or equal to number of values propagator for Boolean views
Gecode::Int::NValues::LqBool< VY > | Less or equal to number of values propagator for Boolean views
Gecode::Int::NoOverlap::Base< Box > | Base class for no-overlap propagator
Gecode::Int::NoOverlap::ManProp< Box > | No-overlap propagator for mandatory boxes
Gecode::Int::NoOverlap::OptProp< Box > | No-overlap propagator for optional boxes
Gecode::Int::Order::OrderProp | Scheduling propagator for ordering two tasks
Gecode::Int::ReBinaryPropagator< View, pc, CtrlView > | Reified binary propagator
Gecode::Int::ReMixBinaryPropagator< View0, pc0, View1, pc1, CtrlView > | Reified mixed binary propagator
Gecode::Int::ReUnaryPropagator< View, pc, CtrlView > | Reified unary propagator
Gecode::Int::Rel::LexLqLe< VX, VY > | Lexical ordering propagator
Gecode::Int::Rel::LexNq< VX, VY > | Lexical disequality propagator
Gecode::Int::Sequence::Sequence< View, Val > | Sequence propagator for array of integers
Gecode::Int::Sorted::Sorted< View, Perm > | Bounds consistent sortedness propagator
Gecode::Int::TaskProp< Task, PL > | Propagator for tasks
Gecode::MixBinaryPropagator< View0, pc0, View1, pc1 > | Mixed binary propagator
Gecode::MixNaryOnePropagator< View0, pc0, View1, pc1 > | Mixed (n+1)-ary propagator
Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 > | Mixed ternary propagator
Gecode::NaryOnePropagator< View, pc > | (n+1)-ary propagator
Gecode::NaryPropagator< View, pc > | N-ary propagator
Gecode::NaryWait< View > | Wait propagator for several views
Gecode::Search::NoGoodsProp | No-good propagator
Gecode::Set::Channel::ChannelInt< View > | Propagator for channelling between variable-value-dual models
Gecode::Set::Channel::ChannelSet< View > | Propagator for successors/predecessors channelling
Gecode::Set::Channel::ChannelSorted< View > | Propagator for the sorted channel constraint
Gecode::Set::Element::ElementDisjoint< SView, RView > | Propagator for element with disjointness
Gecode::Set::Element::ElementIntersection< View, View0, View1 > | Propagator for element with intersection
Gecode::Set::Element::ElementUnion< View, View0, View1 > | Propagator for element with union
Gecode::Set::Element::ElementUnionConst< SView, RView > | Propagator for element with union of constant sets
Gecode::Set::Int::Weights< View > | Propagator for weight of a set
Gecode::Set::Rel::ReEq< View0, View1, CtrlView, rm > | Reified equality propagator
Gecode::Set::Rel::ReLq< View0, View1, rm, strict > | Reified propagator for set less than or equal
Gecode::Set::Rel::ReSubset< View0, View1, CtrlView, rm > | Reified subset propagator
Gecode::TernaryPropagator< View, pc > | Ternary propagator
Gecode::TraceRecorder | Propagator for recording trace information
Gecode::UnaryPropagator< View, pc > | Unary propagator
Gecode::UnaryWait< View > | Wait propagator for single view
Gecode::ViewTraceRecorder< View > | Propagator for recording view trace information
Gecode::Advisor | Base-class for advisors
Gecode::Action::Recorder< View >::Idx | Advisor with index and change information
Gecode::CHB::Recorder< View >::Idx | Advisor with index and change information
Gecode::Int::Bool::Clause< VX, VY >::Tagged | Advisors for views (tagged whether for x or y)
Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Index | Advisors for views (by position in array)
Gecode::Int::Precede::Single< View >::Index | Advisors for views (by position in array)
Gecode::Int::Rel::NaryLqLe< View, o >::Index | Advisors for views (by position in array)
Gecode::Int::Sequence::SupportAdvisor< View > | Class for advising the propagator
Gecode::Set::Channel::ChannelBool< View >::IndexAdvisor | Advisor storing a single index
Gecode::Set::Precede::Single< View >::Index | Advisors for views (by position in array)
Gecode::ViewAdvisor< View > | Advisor storing a single view
Gecode::Int::Extensional::Compact< View, pos >::CTAdvisor | Advisor for updating current table
Gecode::ViewTraceRecorder< View >::Idx | Advisor with index information
Gecode::Advisors< A > | Class to iterate over advisors of a council
Gecode::AFC | Class for AFC (accumulated failure count) management
Gecode::BoolAFC | Recording AFC information for Boolean variables
Gecode::FloatAFC | Recording AFC information for float variables
Gecode::IntAFC | Recording AFC information for integer variables
Gecode::SetAFC | Recording AFC information for set variables
Gecode::AllVarConf | Configuration for all variable implementations
Gecode::Archive | Archive representation
Gecode::ArgArrayBase< T > | Base-class for argument arrays
Gecode::ArgArray< IntSet > |
Gecode::ArgArray< TaskType > |
Gecode::ArgArray< VarImpBase * > |
Gecode::ArgArray< Int::LDSB::Literal > |
Gecode::ArgArray< T > | Argument array for non-primitive types
Gecode::ArgArrayBase< BoolVar > |
Gecode::VarArgArray< BoolVar > |
Gecode::BoolVarArgs | Passing Boolean variables
Gecode::ArgArrayBase< FloatVal > |
Gecode::ArgArray< FloatVal > |
Gecode::FloatValArgs | Passing float arguments
Gecode::ArgArrayBase< FloatVar > |
Gecode::VarArgArray< FloatVar > |
Gecode::FloatVarArgs | Passing float variables
Gecode::ArgArrayBase< int > |
Gecode::ArgArray< int > |
Gecode::IntArgs | Passing integer arguments
Gecode::ArgArrayBase< IntVar > |
Gecode::VarArgArray< IntVar > |
Gecode::IntVarArgs | Passing integer variables
Gecode::ArgArrayBase< SEB > |
Gecode::ArgArray< SEB > |
Gecode::SEBs | Passing search engine builder arguments
Gecode::ArgArrayBase< SetVar > |
Gecode::VarArgArray< SetVar > |
Gecode::SetVarArgs | Passing set variables
Gecode::ArgArrayBase< SymmetryHandle > |
Gecode::ArgArray< SymmetryHandle > |
Gecode::Symmetries | Collection of symmetries
Gecode::ArgArrayBase< Var > |
Gecode::VarArgArray< Var > | Argument array for variables
Gecode::ArrayTraits< A > | Traits of arrays in Gecode
Gecode::ArrayTraits< ArgArray< FloatVal > > | Traits of FloatValArgs
Gecode::ArrayTraits< ArgArray< int > > | Traits of IntArgs
Gecode::ArrayTraits< ArgArray< IntSet > > | Traits of IntSetArgs
Gecode::ArrayTraits< ArgArray< SEB > > | Traits of SEBs
Gecode::ArrayTraits< ArgArray< SymmetryHandle > > | Traits of Symmetries
Gecode::ArrayTraits< ArgArray< TaskType > > | Traits of TaskTypeArgs
Gecode::ArrayTraits< ArgArray< VarImpBase * > > | Traits of ArgArray<VarImpBase*>
Gecode::ArrayTraits< BoolVarArgs > | Traits of BoolVarArgs
Gecode::ArrayTraits< BoolVarArray > | Traits of BoolVarArray
Gecode::ArrayTraits< FloatValArgs > | Traits of FloatValArgs
Gecode::ArrayTraits< FloatVarArgs > | Traits of FloatVarArgs
Gecode::ArrayTraits< FloatVarArray > | Traits of FloatVarArray
Gecode::ArrayTraits< IntArgs > | Traits of IntArgs
Gecode::ArrayTraits< IntVarArgs > | Traits of IntVarArgs
Gecode::ArrayTraits< IntVarArray > | Traits of IntVarArray
Gecode::ArrayTraits< LiteralArgs > | Traits of LiteralArgs
Gecode::ArrayTraits< SEBs > | Traits of SEBs
Gecode::ArrayTraits< SetVarArgs > | Traits of SetVarArgs
Gecode::ArrayTraits< SetVarArray > | Traits of SetVarArray
Gecode::ArrayTraits< VarArgArray< BoolVar > > | Traits of BoolVarArgs
Gecode::ArrayTraits< VarArgArray< FloatVar > > | Traits of FloatVarArgs
Gecode::ArrayTraits< VarArgArray< IntVar > > | Traits of IntVarArgs
Gecode::ArrayTraits< VarArgArray< SetVar > > | Traits of VarArgArray<SetVar>
Gecode::ArrayTraits< VarArray< BoolVar > > | Traits of BoolVarArray
Gecode::ArrayTraits< VarArray< FloatVar > > | Traits of FloatVarArray
Gecode::ArrayTraits< VarArray< IntVar > > | Traits of IntVarArray
Gecode::ArrayTraits< VarArray< SetVar > > | Traits of VarArray<SetVar>
Gecode::BaseOptions | Base class for script options
Gecode::FlatZinc::FlatZincOptions | Options for running FlatZinc models
Gecode::Options | Options for scripts
BIBDOptions | Options for BIBD problems
ColoredMatrixOptions | ColoredMatrixOptions
EFPAOptions | Options for EFPA problems
Gecode::InstanceOptions | Options for scripts with additional instance parameter
JobShopOptions | Options for JobShop problems
Gecode::SizeOptions | Options for scripts with additional size parameter
FileSizeOptions | Parse an additional file option
GolfOptions | Options for Golf example
HammingOptions | Options for Hamming problems
LangfordNumberOptions | Options taking two additional parameters
SatOptions | Options for SAT problems
SchurOptions | Options for Schur's Lemma
SteelMillOptions | SteelMillOptions for examples with size option and an additional optional file name parameter
Gecode::BoolExpr | Boolean expressions
Gecode::BoolExpr::Node | Node for Boolean expression
Gecode::BoolTraceDelta | Trace delta information for Boolean variables
Gecode::BrancherFilter< View > | Class storing a branch filter function
Gecode::BrancherNoFilter< View > | Class withot a branch filter function
Gecode::BrancherNoPrint< View, Val > | Class without print function
Gecode::BrancherPrint< View, Val > | Class storing a print function
Gecode::Branchers | Class to iterate over branchers in a group
Gecode::BranchTraits< Var > | Traits for branching
Gecode::BranchTraits< BoolVar > | Traits of BoolVar for branching
Gecode::BranchTraits< FloatVar > | Traits of FloatVar for branching
Gecode::BranchTraits< IntVar > | Traits of IntVar for branching
Gecode::BranchTraits< SetVar > | Traits of SetVar for branching
Gecode::CHB::Info | View information
Gecode::ChooseMax | Choose views with larger merit values
Gecode::ChooseMin | Choose views with smaller merit values
Gecode::CloneStatistics | Statistics for execution of clone
Gecode::CommitStatistics | Statistics for execution of commit
Gecode::CommitTraceInfo | Commit trace information
Gecode::ConstView< View > | Base-class for constant views
Gecode::ConstView< IntView > |
Gecode::Int::ConstIntView | Constant integer view
Gecode::Int::Linear::NoView | No view serves as filler for empty view arrays
Gecode::Int::ZeroIntView | Zero integer view
Gecode::ConstView< SetView > |
Gecode::Set::ConstSetView | Constant view
Gecode::Set::EmptyView | Constant view for the empty set
Gecode::Set::UniverseView | Constant view for the universe
Gecode::Council< A > | Council of advisors
Gecode::CPProfiler::Connector |
Gecode::CPProfiler::Message | Message for the CP Profiler
Gecode::CPProfiler::MessageMarshalling |
Gecode::CPProfiler::Node |
Gecode::CPProfiler::NodeUID | Unique identifier for a node
Gecode::CPProfiler::Option< T > | Optional value class
Gecode::Delta | Generic domain change information to be supplied to advisors
Gecode::Float::FloatDelta | Float delta information for advisors
Gecode::Int::IntDelta | Integer delta information for advisors
Gecode::Set::SetDelta | Finite set delta information for advisors
Gecode::DerivedView< View > | Base-class for derived views
Gecode::Int::CachedView< View > | Cached integer view
Gecode::Set::CachedView< View > | Cached set view
Gecode::Set::ComplementView< View > | Complement set view
Gecode::DerivedView< BoolView > |
Gecode::Int::NegBoolView | Negated Boolean view
Gecode::DerivedView< FloatView > |
Gecode::Float::MinusView | Minus float view
Gecode::Float::OffsetView | OffsetView float view
Gecode::Float::ScaleView | Scale float view
Gecode::DerivedView< Gecode::Int::IntView > |
Gecode::Int::CachedView< Gecode::Int::IntView > |
Gecode::Set::SingletonView | Singleton set view
Gecode::DerivedView< IntView > |
Gecode::Int::ScaleView< int, unsigned int > |
Gecode::Int::ScaleView< long long int, unsigned long long int > |
Gecode::Int::BinPacking::Item | Item combining bin and size information
Gecode::Int::GCC::CardView | Cardinality integer view
Gecode::Int::MinusView | Minus integer view
Gecode::Int::OffsetView | Offset integer view
Gecode::Int::ScaleView< Val, UnsVal > | Scale integer view (template)
Gecode::DFA::DFAI::HashEntry | Specification of transition range
Gecode::DFA::Symbols | Iterator for DFA symbols
Gecode::DFA::Transition | Specification of a DFA transition
Gecode::DFA::Transitions | Iterator for DFA transitions (sorted by symbols)
Gecode::Driver::BaseOption | Base class for options
Gecode::Driver::BoolOption | Boolean option
Gecode::Driver::DoubleOption | Double option
Gecode::Driver::IntOption | Integer option
Gecode::Driver::IplOption | Integer propagation level option
Gecode::Driver::StringOption | String-valued option (integer value defined by strings)
Gecode::Driver::StringValueOption | String-valued option
Gecode::Driver::TraceOption | Trace flag option
Gecode::Driver::UnsignedIntOption | Unsigned integer option
Gecode::Driver::GistEngine< Engine > | Traits class for search engines
Gecode::Driver::GistEngine< BAB< S > > | Specialization for BAB
Gecode::Driver::GistEngine< DFS< S > > | Specialization for DFS
Gecode::Driver::GistEngine< LDS< S > > | Specialization for LDS
Gecode::Driver::StringOption::Value | Option value
Gecode::FlatZinc::Alias | Alias for a variable specification
Gecode::FlatZinc::AST::Node | A node in a FlatZinc abstract syntax tree
Gecode::FlatZinc::AST::Array | Array node
Gecode::FlatZinc::AST::ArrayAccess | Node representing an array access
Gecode::FlatZinc::AST::Atom | Node representing an atom
Gecode::FlatZinc::AST::BoolLit | Boolean literal node
Gecode::FlatZinc::AST::Call | Node representing a function call
Gecode::FlatZinc::AST::FloatLit | Float literal node
Gecode::FlatZinc::AST::IntLit | Integer literal node
Gecode::FlatZinc::AST::SetLit | Set literal node
Gecode::FlatZinc::AST::String | String node
Gecode::FlatZinc::AST::Var | Variable node base class
Gecode::FlatZinc::AST::BoolVar | Boolean variable node
Gecode::FlatZinc::AST::FloatVar | Float variable node
Gecode::FlatZinc::AST::IntVar | Integer variable node
Gecode::FlatZinc::AST::SetVar | Set variable node
Gecode::FlatZinc::AST::TypeError | Exception signaling type error
Gecode::FlatZinc::ConExpr | Abstract representation of a constraint
Gecode::FlatZinc::Error | Exception class for FlatZinc errors
Gecode::FlatZinc::FlatZincSpaceInitData |
Gecode::FlatZinc::GistEngine< Engine > | Traits class for search engines
Gecode::FlatZinc::GistEngine< BAB< S > > | Specialization for BAB
Gecode::FlatZinc::GistEngine< DFS< S > > | Specialization for DFS
Gecode::FlatZinc::MeritMaxAction | Select by maximal Action
Gecode::FlatZinc::MeritMaxActionSize | Select by maximal Action over size
Gecode::FlatZinc::MeritMaxAFC | Select by maximal AFC
Gecode::FlatZinc::MeritMaxAFCSize | Select by maximal AFC over size
Gecode::FlatZinc::MeritMaxCHB | Select by maximal CHB
Gecode::FlatZinc::MeritMaxCHBSize | Select by maximal CHB over size
Gecode::FlatZinc::Option< Val > | Optional value
Gecode::FlatZinc::OutputOrder | Strict weak ordering for output items
Gecode::FlatZinc::ParserState | State of the FlatZinc parser
Gecode::FlatZinc::Printer | Output support class for FlatZinc interpreter
Gecode::FlatZinc::Registry | Map from constraint identifier to constraint posting functions
Gecode::FlatZinc::SymbolEntry | Entries in the symbol table
Gecode::FlatZinc::SymbolTable< Val > | Symbol table mapping identifiers (strings) to values
Gecode::FlatZinc::VarSpec | Base class for variable specifications
Gecode::FlatZinc::BoolVarSpec | Specification for Boolean variables
Gecode::FlatZinc::FloatVarSpec | Specification for floating point variables
Gecode::FlatZinc::IntVarSpec | Specification for integer variables
Gecode::FlatZinc::SetVarSpec | Specification for set variables
Gecode::Float::FloatTraceView | Float trace view
Gecode::Float::FloatVarImpConf | Configuration for Float-variable implementations
Gecode::Float::Linear::Term | Class for describing linear term
Gecode::Float::Linear::TermLess | Sort linear terms by view
Gecode::Float::Relax | Class for posting equalities for non-relaxed variables
Gecode::FloatNumBranch | Value description class for branching
Gecode::FloatTraceDelta | Trace delta information for float variables
Gecode::FloatVal | Float value type
Gecode::FreeList | Base-class for freelist-managed objects
Gecode::Int::IntVarImp::RangeList | Lists of ranges (intervals)
Gecode::Int::Rel::NaryLqLe< View, o >::Pos | Positions in view array that have to be propagated
Gecode::RangeList | Lists of ranges (intervals)
Gecode::Gist::BestNode | Static reference to the currently best space
Gecode::Gist::BoundingBox | Bounding box
Gecode::Gist::Branch | Representation of a branch in the search tree
Gecode::Gist::Comparator | Abstract base class for comparators
Gecode::Gist::VarComparator< S > | A simple comparator
Gecode::FlatZinc::FZPrintingComparator< S > |
Gecode::Gist::Extent | Extent representing shape of a tree at one depth level
Gecode::Gist::Inspector | Abstract base class for inspectors
Gecode::FlatZinc::FZPrintingInspector< S > | An inspector for printing simple text output
Gecode::Gist::Print< S > | An inspector for printing simple text output
Gecode::Gist::Layout | Layout parameters
Gecode::Gist::Layouter | Helper functions for the layout algorithm
Gecode::Gist::Logos | Class holding Gecode and Gist logo icons
Gecode::Gist::Node | Base class for nodes of the search tree
Gecode::Gist::SpaceNode | A node of a search tree of Gecode spaces
Gecode::Gist::VisualNode | Node class that supports visual layout
Gecode::Gist::NodeAllocatorBase< T > | Node allocator
Gecode::Gist::NodeCursor< Node > | A cursor that can be run over a tree
Gecode::Gist::NodeCursor< VisualNode > |
Gecode::Gist::BranchLabelCursor | A cursor that labels branches
Gecode::Gist::DisposeCursor | A cursor that frees all memory
Gecode::Gist::DrawingCursor | A cursor that draws a tree on a QWidget
Gecode::Gist::HideFailedCursor | A cursor that marks failed subtrees as hidden
Gecode::Gist::LayoutCursor | A cursor that computes a tree layout for VisualNodes
Gecode::Gist::NextSolCursor | A cursor that finds the next solution
Gecode::Gist::StatCursor | A cursor that collects statistics
Gecode::Gist::UnhideAllCursor | A cursor that marks all nodes in the tree as not hidden
Gecode::Gist::UnstopAllCursor | A cursor that marks all nodes in the tree as not stopping
Gecode::Gist::NodeVisitor< Cursor > | Base class for a visitor that runs a cursor over a tree
Gecode::Gist::PostorderNodeVisitor< Cursor > | Run a cursor over a tree, processing nodes in post-order
Gecode::Gist::PreorderNodeVisitor< Cursor > | Run a cursor over a tree, processing nodes in pre-order
Gecode::Gist::Options::_I | Helper class storing inspectors
Gecode::Gist::SearchItem | A stack item for depth first search
Gecode::Gist::Shape | The shape of a subtree
Gecode::Gist::ShapeAllocator | Allocate shapes statically
Gecode::Gist::TextOutput | An window for simple text output
Gecode::FlatZinc::FZPrintingInspector< S > | An inspector for printing simple text output
Gecode::Gist::Print< S > | An inspector for printing simple text output
Gecode::Gist::VarComparator< S > | A simple comparator
Gecode::Group | Group baseclass for controlling actors
Gecode::BrancherGroup | Group of branchers
Gecode::PropagatorGroup | Group of propagators
Gecode::Heap | Heap memory management class
Gecode::HeapAllocated | Base class for heap allocated objects
Gecode::Search::Base< Test::Int::Cumulatives::Ass > |
Gecode::DFS< Test::Int::Cumulatives::Ass > |
Gecode::BoolExpr::Misc | Miscealloneous Boolean expressions
Gecode::BElementExpr | Boolean element expressions
Gecode::CPProfilerSearchTracer::GetInfo | Class to send solution information to CPProfiler
Gecode::Driver::ScriptGetInfo< BaseSpace > | Class to send solution information to CPProfiler for a script
Gecode::FlatZinc::FlatZincGetInfo |
Gecode::Choice | Choice for performing commit
CDBF::Choice | Choice
Gecode::FlatZinc::AuxVarBrancher::Choice | Choice that only signals failure or success
Gecode::FlatZinc::PosIntChoice | Choice storing position and value
Gecode::Gist::StopChoice | Choice for StopBrancher
Gecode::Kernel::FunctionBranch::Description | Minimal brancher description storing no information
Gecode::PosChoice | Choices storing position
Gecode::Int::Branch::PosValuesChoice | Choice storing position and values for integer views
Gecode::PosValChoice< Val > | Choice storing position and value
Gecode::Int::LDSB::LDSBChoice< Val > | Choice storing position and value, and symmetric literals to be excluded on the right branch
SteelMill::SteelMillBranch::Choice | Choice
Warnsdorff::Choice | Choice
Gecode::Search::Base< T > | Base-class for search engines
Gecode::BAB< T > | Depth-first branch-and-bound search engine
Gecode::DFS< T > | Depth-first search engine
Gecode::LDS< T > | Limited discrepancy search engine
Gecode::PBS< T, E > | Meta engine using a portfolio of search engines
Gecode::RBS< T, E > | Meta-engine performing restart-based search
Gecode::Search::Builder | A class for building search engines
Gecode::Search::BabBuilder< T > | A BAB engine builder
Gecode::Search::DfsBuilder< T > | A DFS engine builder
Gecode::Search::LdsBuilder< T > | A DFS engine builder
Gecode::Search::PbsBuilder< T, E > | A PBS engine builder
Gecode::Search::RbsBuilder< T, E > | A RBS engine builder
Gecode::Search::Cutoff | Base class for cutoff generators for restart-based meta engine
Gecode::Search::CutoffAppend | Cutoff generator appending two cutoff generators
Gecode::Search::CutoffConstant | Cutoff generator for constant sequence
Gecode::Search::CutoffGeometric | Cutoff generator for the geometric sequence
Gecode::Search::CutoffLinear | Cutoff generator for linear sequence
Gecode::Search::CutoffLuby | Cutoff generator for the Luby sequence
Gecode::Search::CutoffMerge | Cutoff generator merging two cutoff generators
Gecode::Search::CutoffRandom | Cutoff generator for the random sequence
Gecode::Search::CutoffRepeat | Cutoff generator that repeats a cutoff from another cutoff generator
Gecode::Search::Engine | Search engine implementation interface
Gecode::Search::Par::Engine< Tracer > | Parallel depth-first search engine
Gecode::Search::Par::PBS< Gecode::Search::Par::CollectBest > |
Gecode::Search::Par::BAB< Tracer > | Parallel branch-and-bound engine
Gecode::Search::Par::DFS< Tracer > | Parallel depth-first search engine
Gecode::Search::Par::PBS< Collect > | Parallel portfolio engine implementation
Gecode::Search::Seq::Dead< Tracer > | A dead engine (failed root)
Gecode::Search::Seq::LDS< Tracer > | Limited discrepancy search engine implementation
Gecode::Search::Seq::PBS< best > | Sequential portfolio engine implementation
Gecode::Search::Seq::RBS | Engine for restart-based search
Gecode::Search::WorkerToEngine< Worker > | Virtualize a worker to an engine
Gecode::Search::Stop | Base-class for Stop-object
FailTimeStop | Stop object combining time and failuresa
Gecode::Driver::CombinedStop | Stop object based on nodes, failures, and time
Gecode::Search::FailStop | Stop-object based on number of failures
Gecode::Search::NodeStop | Stop-object based on number of nodes
Gecode::Search::Par::PortfolioStop | Stop object used for controling slaves in a portfolio
Gecode::Search::Seq::PortfolioStop | Stop object used for controling slaves in a portfolio
Gecode::Search::Seq::RestartStop | Stop-object for restart engine
Gecode::Search::TimeStop | Stop-object based on time
Gecode::SharedHandle::Object | The shared object
Gecode::Action::Storage | Object for storing action values
Gecode::CHB::Storage | Object for storing chb information
Gecode::DFA::DFAI | Data stored for a DFA
Gecode::FlatZinc::BranchInformationO |
Gecode::Kernel::SharedSpaceData::Data | The shared data
Gecode::SharedArray< T >::SAO | Implementation of object for shared arrays
Gecode::SharedData< Data >::SDO | The object storing the actual data
Gecode::TraceFilter::TFO | The actual object storing the shared filters
Gecode::TupleSet::Data | Data stored for a Table
Gecode::Space | Computation spaces
Gecode::FlatZinc::FlatZincSpace | A space that can be initialized with a FlatZinc model
Gecode::FloatMaximizeSpace | Class for maximizing float cost
Gecode::FloatMinimizeSpace | Class for minimizing float cost
Gecode::IntLexMaximizeSpace | Class for lexicographically maximizing integer costs
Gecode::IntLexMinimizeSpace | Class for lexicographically minimizing integer costs
Gecode::IntMaximizeSpace | Class for maximizing integer cost
Gecode::IntMinimizeSpace | Class for minimizing integer cost
Test::AFC::TestSpace | Test space
Test::Array::TestSpace | Test space
Test::Assign::BoolTestSpace | Space for executing Boolean tests
Test::Assign::FloatTestSpace | Space for executing Boolean tests
Test::Assign::IntTestSpace | Space for executing integer tests
Test::Assign::SetTestSpace | Space for executing Boolean tests
Test::Branch::BoolTestSpace | Space for executing Boolean tests
Test::Branch::FloatTestSpace | Space for executing Float tests
Test::Branch::IntTestSpace | Space for executing integer tests
Test::Branch::SetTestSpace | Space for executing Set tests
Test::Float::TestSpace | Space for executing tests
Test::Int::BinPacking::CliqueMBPT::TestSpace | Simple test space class
Test::Int::Cumulatives::Ass | Script for generating assignments
Test::Int::Distinct::Pathological::TestSpace | Test space
Test::Int::TestSpace | Space for executing tests
Test::LDSB::LDSBLatin::Latin | Latin square space
Test::LDSB::OneArray | Test space
Test::LDSB::OneArraySet | Test space (set version)
Test::NoGoods::Hamming | Example for testing set no-goods
Test::NoGoods::Queens | Example for testing integer no-goods
Test::Search::TestSpace | Space with information
Test::Search::FailImmediate | Space that immediately fails
Test::Search::HasSolutions | Space that requires propagation and has solutions
Test::Search::SolveImmediate | Space that is immediately solved
Test::Set::SetTestSpace | Space for executing set tests
Gecode::TFE::Node | Node for trace filter expression
Gecode::TracerBase | Class to provide synchronization
Gecode::ViewTracer< Float::FloatView > |
Gecode::StdFloatTracer | Standard float variable tracer
Gecode::ViewTracer< Int::IntView > |
Gecode::StdIntTracer | Standard integer variable tracer
Gecode::ViewTracer< Int::BoolView > |
Gecode::StdBoolTracer | Standard Boolean variable tracer
Gecode::ViewTracer< Set::SetView > |
Gecode::StdSetTracer | Standard set variable tracer
Gecode::ViewTracer< Gecode::ValSelCommitBase< typenameValSel::View, typenameValSel::Val >::View > |
Gecode::Tracer | Tracer
Gecode::StdTracer | Default tracer
Gecode::ViewTracer< View > | Tracer that process view trace information
Gecode::Home | Home class for posting propagators
Gecode::Int::Arithmetic::PowOps | Operations for power and nroot propagators
Gecode::Int::Arithmetic::RangesMapNroot< Ops > | Mapping integer to n-th root
Gecode::Int::Arithmetic::RangesMapPow< Ops > | Mapping ranges to powers
Gecode::Int::Arithmetic::SqrOps | Operations for square and square-root propagators
Gecode::Int::Arithmetic::ValuesMapNroot< Ops > | Mapping integer (must be an n-th power) to n-th root
Gecode::Int::Arithmetic::ValuesMapNrootSigned< Ops > | Mapping integer (must be an n-th power) to n-th root (signed)
Gecode::Int::Arithmetic::ValuesMapPow< Ops > | Mapping integer to power
Gecode::Int::BinPacking::ConflictGraph | Graph containing conflict information
Gecode::Int::BinPacking::ConflictGraph::Clique | Clique information
Gecode::Int::BinPacking::ConflictGraph::Node | Class for node in graph
Gecode::Int::BinPacking::ConflictGraph::Nodes | Iterator over node sets
Gecode::Int::BinPacking::SizeSet | Size sets
Gecode::Int::BinPacking::SizeSetMinusOne | Size sets with one element discarded
Gecode::Int::BinPacking::TellCache | Record tell information
Gecode::Int::Bool::Le< BV > | Boolean less propagator
Gecode::Int::BoolTraceView | Duplicate of a Boolean view
Gecode::Int::BoolVarImpConf | Configuration for Bool-variable implementations
Gecode::Int::Channel::BoolIter | Iterates the values to be removed as defined by an array of Boolean views
Gecode::Int::Channel::DomInfo< View, Offset > | Combine view with information for domain propagation
Gecode::Int::Channel::ValInfo< View > | Combine view with information for value propagation
Gecode::Int::Circuit::NodeInfo< View > | Information required for non-recursive checking for a single scc
Gecode::Int::Circuit::TellInfo< View > | Information for performing a recorded tell
Gecode::Int::Cumulative::OmegaNode | Node for an omega tree
Gecode::Int::Cumulative::ExtOmegaNode | Node for an extended omega tree
Gecode::Int::Cumulative::OmegaLambdaNode | Node for an omega lambda tree
Gecode::Int::Cumulative::PrecOrder | Sort by prec array
Gecode::Int::Cumulative::StoCap< TaskView, inc > | Sort by capacity
Gecode::Int::Cumulative::TaskByDecCap< Task > | Sort order for tasks by decreasing capacity
Gecode::Int::Cumulatives::Event | An event collects the information for one evnet for the sweep-line
Gecode::Int::Distinct::DomCtrl< View > | Propagation controller for domain consistent distinct
Gecode::Int::Distinct::HallInfo< IntType > | Information on Hall intervals
Gecode::Int::Distinct::MaxIncIdx< View > | Sort-order by increasing maximum (by index)
Gecode::Int::Distinct::MinInc< View > | Sort-order by increasing minimum (direct)
Gecode::Int::Distinct::MinIncIdx< View > | Sort-order by increasing minimum (by index)
Gecode::Int::Distinct::Rank | Rank information
Gecode::Int::Element::Int< V0, V1, Idx, Val >::ByVal | Sorting pointers to (index,value) pairs in value order
Gecode::Int::Element::Int< V0, V1, Idx, Val >::IdxVal | Linked index-value pairs
Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterIdxUnmark | Value iterator for indices in index-value map
Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterVal | Value iterator for values in index-value map
Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterValUnmark | Value iterator for values in index-value map
Gecode::Int::Element::IterIdxView< View > | Value iterator for indices in index-view map
Gecode::Int::Element::PairValues | Value iterator for pair of iterators
Gecode::Int::Element::RelTestBnd< VA, VC > | Class for bounds-equality test
Gecode::Int::Element::RelTestBnd< VA, ConstIntView > | Class for bounds-equality test (specialized)
Gecode::Int::Element::RelTestDom< VA, VC > | Class for domain-equality test
Gecode::Int::Element::RelTestDom< VA, ConstIntView > | Class for domain-equality test (specialized)
Gecode::Int::Event | Time-tabling event for task
Gecode::Int::Extensional::BitSet< IndexType > | Bit-set
Gecode::Int::Extensional::Compact< View, pos >::LostSupports | Iterator over lost supports
Gecode::Int::Extensional::Compact< View, pos >::ValidSupports | Iterator over valid supports
Gecode::Int::Extensional::GroupStates | GroupStates is used to index StateGroup by group
Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Edge | Edge defined by in-state and out-state
Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::IndexRange | Range approximation of which positions have changed
Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Layer | Layer for a view in the layered graph
Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::LayerValues | Iterator for telling variable domains by scanning support
Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::State | States are described by number of incoming and outgoing edges
Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Support | Support information for a value
Gecode::Int::Extensional::PosCompact< View, Table >::Status | Status management
Gecode::Int::Extensional::PosCompare | Tuple comparison by position
Gecode::Int::Extensional::StateGroup | Stategroup is used to compute a partition of states
Gecode::Int::Extensional::StateGroupByGroup | Sort groups stated by group and then state
Gecode::Int::Extensional::TinyBitSet< _size > | Tiny bit-set
Gecode::Int::Extensional::TransByI_State | Sort transition array by input state
Gecode::Int::Extensional::TransByO_State | Sort transition array by output state
Gecode::Int::Extensional::TransBySymbol | Sort transition array by symbol (value)
Gecode::Int::Extensional::TransBySymbolI_State | Sort transition array by symbol and then input states
Gecode::Int::Extensional::TupleCompare | Tuple comparison
Gecode::Int::Extensional::VarTraits< Var > | Traits class for variables
Gecode::Int::Extensional::VarTraits< BoolVar > | Traits class for variables
Gecode::Int::Extensional::VarTraits< IntVar > | Traits class for variables
Gecode::Int::GCC::CardConst | Constant view containing lower and upper cardinality bounds
Gecode::Int::GCC::Edge | Class for edges in the variable-value-graph
Gecode::Int::GCC::HallInfo | Container class provding information about the Hall structure of the problem variables
Gecode::Int::GCC::MaxInc< View > | Compares two indices i, j of two views according to the ascending order of the views upper bounds
Gecode::Int::GCC::MinIdx< Card > | Compares two cardinality views according to the index
Gecode::Int::GCC::MinInc< View > | Compares two indices i, j of two views according to the ascending order of the views lower bounds
Gecode::Int::GCC::Node | Base class for nodes in the variable-value-graph
Gecode::Int::GCC::ValNode | Value node
Gecode::Int::GCC::VarNode | Variable node
Gecode::Int::GCC::PartialSum< Card > | Partial sum structure for constant time computation of the maximal capacity of an interval
Gecode::Int::GCC::Rank | Maps domain bounds to their position in hall[].bounds
Gecode::Int::GCC::UnReachable | Class for computing unreachable values in the value GCC propagator
Gecode::Int::GCC::VarValGraph< Card > | Variable-value-graph used during propagation
Gecode::Int::IdxView< View > | Class for pair of index and view
Gecode::Int::IdxViewArray< View > | An array of IdxView pairs
Gecode::Int::IntTraceView | Duplicate of an integer view
Gecode::Int::IntVarImpBwd | Backward iterator for ranges of integer variable implementations
Gecode::Int::ViewRanges< MinusView > | Range iterator for minus integer views
Gecode::Int::IntVarImpConf | Configuration for Int-variable implementations
Gecode::Int::IntVarImpFwd | Range iterator for ranges of integer variable implementation
Gecode::Int::ViewRanges< IntView > | Range iterator for integer variable views
Gecode::Int::ViewRanges< GCC::CardView > | Range iterator for indexed problem variables
Gecode::IntVarRanges | Range iterator for integer variables
Gecode::Set::LubRanges< SingletonView > | Range iterator for least upper bound of singleton set view
Gecode::Int::LDSB::Literal | A Literal is a pair of variable index and value
Gecode::Int::LDSB::SymmetryImp< View > | Implementation of a single symmetry
Gecode::Int::LDSB::ValueSymmetryImp< Gecode::ValSelCommitBase< typenameValSel::View, typenameValSel::Val >::View > |
Gecode::Int::LDSB::ValueSequenceSymmetryImp< View > | Implementation of a value sequence symmetry
Gecode::Int::LDSB::ValueSymmetryImp< View > | Implementation of a value symmetry
Gecode::Int::LDSB::VariableSequenceSymmetryImp< View > | Implementation of a variable sequence symmetry
Gecode::Int::LDSB::VariableSymmetryImp< View > | Implementation of a variable symmetry
Gecode::Int::LDSB::SymmetryObject | Implementation of a symmetry at the modelling level
Gecode::Int::LDSB::ValueSequenceSymmetryObject | Implementation of a value sequence symmetry at the modelling level
Gecode::Int::LDSB::ValueSymmetryObject | Implementation of a value symmetry at the modelling level
Gecode::Int::LDSB::VariableSequenceSymmetryObject | Implementation of a variable sequence symmetry at the modelling level
Gecode::Int::LDSB::VariableSymmetryObject | Implementation of a variable symmetry at the modelling level
Gecode::Int::Linear::BoolNegTraits< BV > | Traits for Boolean negation view
Gecode::Int::Linear::BoolNegTraits< BoolView > | Traits for Boolean negation view
Gecode::Int::Linear::BoolNegTraits< NegBoolView > | Traits for Boolean negation view
Gecode::Int::Linear::EmptyScaleBoolArray | Empty array of scale Boolean views
Gecode::Int::Linear::ScaleBool | Coefficient and Boolean view
Gecode::Int::Linear::ScaleBoolArray | Array of scale Boolean views
Gecode::Int::Linear::SupportIter< Val > | Base-class for support-based iterator
Gecode::Int::Linear::NegSupportIter< Val > | Support-based iterator for negative view
Gecode::Int::Linear::PosSupportIter< Val > | Support-based iterator for positive view
Gecode::Int::Linear::SupportSet | Set for support information
Gecode::Int::Linear::Term< View > | Class for describing linear term
Gecode::Int::Linear::TermBySizePos< View > | Sort linear terms by coefficient size and original position
Gecode::Int::Linear::TermByView< View > | Sort linear terms by view
Gecode::Int::NoOffset< View > | Converter without offsets
Gecode::Int::NoOverlap::FixDim | Dimension combining coordinate and integer size information
Gecode::Int::NoOverlap::FlexDim | Dimension combining coordinate and integer view size information
Gecode::Int::NoOverlap::ManBox< Dim, n > | Mandatory box class
Gecode::Int::NoOverlap::OptBox< Dim, n > | Optional box class
Gecode::Int::NValues::RangeEvent | Event for range-based overlap analysis
Gecode::Int::Offset | Converter with fixed offset
Gecode::Int::PLA | Class for defining advanced propagation level
Gecode::Int::PLB | Class for defining basic propagation level
Gecode::Int::PLBA | Class for defining basic and advanced propagation level
Gecode::Int::Relax | Class for posting equalities for non-relaxed variables
Gecode::Int::Sequence::ViewValSupport< View, Val, iss > | Class for view value support structure
Gecode::Int::Sequence::ViewValSupportArray< View, Val, iss > | An array of ViewValSupport data structures
Gecode::Int::Sorted::OfflineMin | Offline-Min datastructure Used to compute the perfect matching between the unsorted views x and the sorted views y
Gecode::Int::Sorted::OfflineMinItem | Item used to construct the OfflineMin sequence
Gecode::Int::Sorted::Rank | Storage class for mininmum and maximum of a variable
Gecode::Int::Sorted::SccComponent | Representation of a strongly connected component
Gecode::Int::Sorted::TupleMaxInc< View > | Index comparison for ViewArray<Tuple>
Gecode::Int::Sorted::TupleMaxIncExt< View > | Extended Index comparison for ViewArray<Tuple>
Gecode::Int::Sorted::TupleMinInc< View > | View comparison on ViewTuples
Gecode::Int::Sorted::TupleMinIncExt< View > | Extended view comparison on pairs of views
Gecode::Int::Sorted::ViewPair< View > | Pair of views
Gecode::Int::SortMap< TaskView, STO, inc > | Sorting maps rather than tasks
Gecode::Int::StoEct< TaskView, inc > | Sort by earliest completion times
Gecode::Int::StoEst< TaskView, inc > | Sort by earliest start times
Gecode::Int::StoLct< TaskView, inc > | Sort by latest completion times
Gecode::Int::StoLst< TaskView, inc > | Sort by latest start times
Gecode::Int::SupportValues< View, A > | Support value iterator and recorder
Gecode::Int::TaskArray< Task > | Task array
Gecode::Int::TaskTraits< Task > | Traits class for mapping tasks to task views
Gecode::Int::TaskTraits< Cumulative::ManFixPSETask > | Task traits for mandatory fixed tasks
Gecode::Int::TaskTraits< Cumulative::ManFixPTask > | Task traits for mandatory fixed tasks
Gecode::Int::TaskTraits< Cumulative::ManFlexTask > | Task traits for mandatory flexible tasks
Gecode::Int::TaskTraits< Cumulative::OptFixPSETask > | Task traits for optional fixed tasks
Gecode::Int::TaskTraits< Cumulative::OptFixPTask > | Task traits for optional fixed tasks
Gecode::Int::TaskTraits< Cumulative::OptFlexTask > | Task traits for optional flexible tasks
Gecode::Int::TaskTraits< Unary::ManFixPSETask > | Task traits for mandatory fixed tasks
Gecode::Int::TaskTraits< Unary::ManFixPTask > | Task traits for mandatory fixed tasks
Gecode::Int::TaskTraits< Unary::ManFlexTask > | Task traits for mandatory flexible tasks
Gecode::Int::TaskTraits< Unary::OptFixPSETask > | Task traits for optional fixed tasks
Gecode::Int::TaskTraits< Unary::OptFixPTask > | Task traits for optional fixed tasks
Gecode::Int::TaskTraits< Unary::OptFlexTask > | Task traits for optional flexible tasks
Gecode::Int::TaskTree< TaskView, Node > | Task trees for task views with node type Node
Gecode::Int::TaskTree< TaskView, ExtOmegaNode > |
Gecode::Int::Cumulative::ExtOmegaTree< TaskView > | Omega trees for computing ect of task sets
Gecode::Int::TaskTree< TaskView, OmegaLambdaNode > |
Gecode::Int::Cumulative::OmegaLambdaTree< TaskView > | Omega-lambda trees for computing ect of task sets
Gecode::Int::Unary::OmegaLambdaTree< TaskView > | Omega-lambda trees for computing ect of task sets
Gecode::Int::TaskTree< TaskView, OmegaNode > |
Gecode::Int::Cumulative::OmegaTree< TaskView > | Omega trees for computing ect of task sets
Gecode::Int::Unary::OmegaTree< TaskView > | Omega trees for computing ect of task sets
Gecode::Int::TaskViewArray< TaskView > | Task view array
Gecode::Int::TaskViewIter< TaskView, sto, inc > | Allows to iterate over task views according to a specified order
Gecode::Int::TaskViewIter< OptTaskView, sto, inc > |
Gecode::Int::ManTaskViewIter< OptTaskView, sto, inc > | Allows to iterate over mandatory task views according to a specified order
Gecode::Int::TaskViewTraits< TaskView > | Traits class for mapping task views to tasks
Gecode::Int::TaskViewTraits< Cumulative::ManFixPSETaskBwd > | Task view traits for backward task views
Gecode::Int::TaskViewTraits< Cumulative::ManFixPSETaskFwd > | Task view traits for forward task views
Gecode::Int::TaskViewTraits< Cumulative::ManFixPTaskBwd > | Task view traits for backward task views
Gecode::Int::TaskViewTraits< Cumulative::ManFixPTaskFwd > | Task view traits for forward task views
Gecode::Int::TaskViewTraits< Cumulative::ManFlexTaskBwd > | Task view traits for backward task views
Gecode::Int::TaskViewTraits< Cumulative::ManFlexTaskFwd > | Task view traits for forward task views
Gecode::Int::TaskViewTraits< Cumulative::OptFixPSETaskBwd > | Task view traits for backward task views
Gecode::Int::TaskViewTraits< Cumulative::OptFixPSETaskFwd > | Task view traits for forward optional task views
Gecode::Int::TaskViewTraits< Cumulative::OptFixPTaskBwd > | Task view traits for backward task views
Gecode::Int::TaskViewTraits< Cumulative::OptFixPTaskFwd > | Task view traits for forward optional task views
Gecode::Int::TaskViewTraits< Cumulative::OptFlexTaskBwd > | Task view traits for backward task views
Gecode::Int::TaskViewTraits< Cumulative::OptFlexTaskFwd > | Task view traits for forward optional task views
Gecode::Int::TaskViewTraits< Unary::ManFixPSETaskBwd > | Task view traits for backward task views
Gecode::Int::TaskViewTraits< Unary::ManFixPSETaskFwd > | Task view traits for forward task views
Gecode::Int::TaskViewTraits< Unary::ManFixPTaskBwd > | Task view traits for backward task views
Gecode::Int::TaskViewTraits< Unary::ManFixPTaskFwd > | Task view traits for forward task views
Gecode::Int::TaskViewTraits< Unary::ManFlexTaskBwd > | Task view traits for backward task views
Gecode::Int::TaskViewTraits< Unary::ManFlexTaskFwd > | Task view traits for forward task views
Gecode::Int::TaskViewTraits< Unary::OptFixPSETaskBwd > | Task view traits for backward task views
Gecode::Int::TaskViewTraits< Unary::OptFixPSETaskFwd > | Task view traits for forward optional task views
Gecode::Int::TaskViewTraits< Unary::OptFixPTaskBwd > | Task view traits for backward task views
Gecode::Int::TaskViewTraits< Unary::OptFixPTaskFwd > | Task view traits for forward optional task views
Gecode::Int::TaskViewTraits< Unary::OptFlexTaskBwd > | Task view traits for backward task views
Gecode::Int::TaskViewTraits< Unary::OptFlexTaskFwd > | Task view traits for forward optional task views
Gecode::Int::Unary::ManFixPTask | Unary (mandatory) task with fixed processing time
Gecode::Int::Cumulative::ManFixPTask | Cumulative (mandatory) task with fixed processing time
Gecode::Int::Unary::ManFixPSETask | Unary (mandatory) task with fixed processing, start or end time
Gecode::Int::Cumulative::ManFixPSETask | Cumulative (mandatory) task with fixed processing, start or end time
Gecode::Int::Unary::ManFlexTask | Unary (mandatory) task with flexible processing time
Gecode::Int::Cumulative::ManFlexTask | Cumulative (mandatory) task with flexible processing time
Gecode::Int::Unary::OmegaNode | Node for an omega tree
Gecode::Int::Unary::OmegaLambdaNode | Node for an omega lambda tree
Gecode::Int::Unshare::VarPtrLess< Var > | Sort order for variables
Gecode::Int::ValSet | Class for storing values of already assigned views
Gecode::Int::ValSet::Ranges | Iterator over ranges
Gecode::Int::ViewRanges< View > | Range iterator for integer views
Gecode::Int::ViewRanges< CachedView< View > > | Range iterator for offset integer views
Gecode::Int::ViewRanges< ConstIntView > | Range iterator for constant integer views
Gecode::Int::ViewRanges< ZeroIntView > | Range iterator for constant integer views
Gecode::Int::ViewToVarArg< View > | Class to map VarArg type to view
Gecode::Int::ViewToVarArg< BoolView > | VarArg type for Boolean views
Gecode::Int::ViewToVarArg< Gecode::Set::ConstSetView > | VarArg type for constant Set views
Gecode::Int::ViewToVarArg< Gecode::Set::SetView > | VarArg type for Set views
Gecode::Int::ViewToVarArg< Gecode::Set::SingletonView > | VarArg type for singleton views
Gecode::Int::ViewToVarArg< IntView > | VarArg type for integer views
Gecode::Int::ViewToVarArg< MinusView > | VarArg type for minus views
Gecode::Int::ViewToVarArg< NegBoolView > | VarArg type for Boolean views
Gecode::Int::ViewValGraph::BiLink | Bidirectional links for edges and anchors in nodes of view-value graph
Gecode::Int::ViewValGraph::Edge< Gecode::ValSelCommitBase< typenameValSel::Gecode::ValSelCommitBase< typenameValSel::IntView, typenameValSel::Val >::IntView, typenameValSel::Val >::Gecode::ValSelCommitBase< typenameValSel::IntView, typenameValSel::Val >::IntView > |
Gecode::Int::ViewValGraph::Edge< Gecode::ValSelCommitBase< typenameValSel::View, typenameValSel::Val >::View > |
Gecode::Int::ViewValGraph::Node< Gecode::ValSelCommitBase< typenameValSel::IntView, typenameValSel::Val >::IntView > |
Gecode::Int::ViewValGraph::ValNode< Gecode::ValSelCommitBase< typenameValSel::IntView, typenameValSel::Val >::IntView > |
Gecode::Int::ViewValGraph::ViewNode< Gecode::ValSelCommitBase< typenameValSel::IntView, typenameValSel::Val >::IntView > |
Gecode::Int::ViewValGraph::Edge< View > | Edges in view-value graph
Gecode::Int::ViewValGraph::Node< View > | Base-class for nodes (both view and value nodes)
Gecode::Int::ViewValGraph::ValNode< Gecode::ValSelCommitBase< typenameValSel::View, typenameValSel::Val >::View > |
Gecode::Int::ViewValGraph::ViewNode< Gecode::ValSelCommitBase< typenameValSel::View, typenameValSel::Val >::View > |
Gecode::Int::ViewValGraph::ValNode< View > | Value nodes in view-value graph
Gecode::Int::ViewValGraph::ViewNode< View > | View nodes in view-value graph
Gecode::Int::ViewValGraph::CombPtrFlag< T > | Class for combining two pointers with a flag
Gecode::Int::ViewValGraph::Graph< View > | View-value graph base class
Gecode::Int::Distinct::Graph< Gecode::ValSelCommitBase< typenameValSel::View, typenameValSel::Val >::View > |
Gecode::Int::Distinct::Graph< View > | View-value graph for propagation
Gecode::Int::ViewValGraph::Graph< IntView > |
Gecode::Int::NValues::Graph | View-value graph for propagation of upper bound
Gecode::Int::ViewValGraph::IterPruneVal< View > | Iterates the values to be pruned from a view node
Gecode::IntPropLevels | Class for specifying integer propagation levels used by minimodel
Gecode::IntSet::MinInc | Sort ranges according to increasing minimum
Gecode::IntSetInit< I > | Integer set initialization
Gecode::IntSetInit< IntArgs > | Initialize integer set with integer arguments
Gecode::IntSetInit< IntSet > | Initialize integer set with integer set
Gecode::IntSetRanges | Range iterator for integer sets
Gecode::Iter::Ranges::Array | Range iterator for array of ranges
Gecode::Iter::Ranges::Array::Range | Ranges for array
Gecode::Iter::Ranges::Empty | Range iterator for empty range
Gecode::Set::GlbRanges< EmptyView > | Range iterator for greatest lower bound of constantly empty set view
Gecode::Set::LubRanges< EmptyView > | Range iterator for least upper bound of constantly empty set view
Gecode::Iter::Ranges::Map< I, M, strict > | Range iterator for mapping ranges
Gecode::Iter::Ranges::Map< I, M, true > | Specialized mapping of ranges for strict maps
Gecode::Iter::Ranges::MinMax | Base for range iterators with explicit min and max
Gecode::Iter::Ranges::Compl< Limits::min, Limits::max, I > |
Gecode::Set::RangesCompl< I > | A complement iterator spezialized for the BndSet limits
Gecode::Iter::Ranges::Compl< Limits::min, Limits::max, Gecode::Set::LubRanges< Gecode::ValSelCommitBase< typenameValSel::View, typenameValSel::Val >::View > > |
Gecode::Set::RangesCompl< Gecode::Set::LubRanges< Gecode::ValSelCommitBase< typenameValSel::View, typenameValSel::Val >::View > > |
Gecode::Iter::Ranges::Compl< Limits::min, Limits::max, Gecode::Set::GlbRanges< Gecode::ValSelCommitBase< typenameValSel::View, typenameValSel::Val >::View > > |
Gecode::Set::RangesCompl< Gecode::Set::GlbRanges< Gecode::ValSelCommitBase< typenameValSel::View, typenameValSel::Val >::View > > |
Gecode::Iter::Ranges::Diff< Iter::Ranges::RangeList, ViewRanges< View > > |
Gecode::Int::ViewDiffRanges< View > | Range iterator for cached integer views
Gecode::Iter::Ranges::Diff< Iter::Ranges::RangeList, Int::ViewRanges< Int::IntView > > |
Gecode::IntTraceDelta | Trace delta information for integer variables
Gecode::Iter::Ranges::Diff< GlbRanges< View >, BndSetRanges > |
Gecode::Set::GlbDiffRanges< View > | Range iterator for difference of greatest lower bound and cache
Gecode::Iter::Ranges::Diff< BndSetRanges, LubRanges< View > > |
Gecode::Set::LubDiffRanges< View > | Range iterator for difference of least upper bound and cache
Gecode::Iter::Ranges::Diff< LubRanges< T >, GlbRanges< T > > |
Gecode::Set::UnknownRanges< T > | Range iterator for the unknown set
Gecode::Iter::Ranges::Diff< Set::GlbRanges< Set::SetView >, Iter::Ranges::RangeList > |
Gecode::SetTraceDelta::Glb | Delta for the greatest lower bound
Gecode::Iter::Ranges::Diff< Iter::Ranges::RangeList, Set::LubRanges< Set::SetView > > |
Gecode::SetTraceDelta::Lub | Delta for the least upper bound
Gecode::Iter::Ranges::Diff< LubRanges< Gecode::Set::SetVarImp * >, GlbRanges< Gecode::Set::SetVarImp * > > |
Gecode::Set::UnknownRanges< Gecode::Set::SetVarImp * > |
Gecode::Iter::Values::ToRanges< CountableSetValues > |
Test::Set::CountableSetRanges | Range iterator producing subsets of an IntSet
Gecode::Iter::Ranges::AddRange< I > | Range iterator for adding a single range to a range iterator
Gecode::Iter::Ranges::SubRange< I > | Range iterator for subtracting a single range from a range iterator
Gecode::Iter::Ranges::Append< I, J > | Range iterator for appending two range iterators
Gecode::Iter::Ranges::Compl< UMIN, UMAX, I > | Range iterator for computing the complement (described by template arguments)
Gecode::Iter::Ranges::ComplVal< I > | Range iterator for computing the complement (described by values)
Gecode::Iter::Ranges::Diff< I, J > | Range iterator for computing set difference
Gecode::Iter::Ranges::Inter< I, J > | Range iterator for computing intersection (binary)
Gecode::Iter::Ranges::Map< I, M, false > | Specialized mapping of ranges for non-strict maps
Gecode::Iter::Ranges::NaryAppend< I > | Range iterator for appending arbitrarily many iterators
Gecode::Iter::Ranges::ScaleDown< I > | Range iterator for pointwise division by a positive integer
Gecode::Iter::Ranges::Singleton | Range iterator for singleton range
Gecode::Int::ViewRanges< BoolView > | Range iterator for Boolean variable views
Gecode::Int::ViewRanges< NegBoolView > | Range iterator for negated Boolean variable views
Gecode::Set::GlbRanges< UniverseView > | Range iterator for greatest lower bound of constant universe set view
Gecode::Set::LubRanges< UniverseView > | Range iterator for least upper bound of constant universe set view
Gecode::Iter::Ranges::SingletonAppend< J > | Range iterator for appending a singleton with a range iterator
Gecode::Iter::Ranges::Union< I, J > | Range iterator for computing union (binary)
Gecode::Iter::Values::ToRanges< I > | Range iterator from value iterator
Gecode::Iter::Ranges::Negative< I, strict > | Range iterator for negative part of a range iterator
Gecode::Iter::Ranges::Offset< I > | Range iterator for pointwise offset (by some constant)
Gecode::Iter::Ranges::Offset< ViewRanges< IntView > > |
Gecode::Int::ViewRanges< OffsetView > | Range iterator for offset integer views
Gecode::Iter::Ranges::Positive< I, strict > | Range iterator for positive part of a range iterator
Gecode::Iter::Ranges::RangeList | Range iterator for range lists
Gecode::Set::BndSetRanges | Range iterator for integer sets
Gecode::Set::GlbRanges< SetVarImp * > | Range iterator for the greatest lower bound of a set variable implementation
Gecode::Set::GlbRanges< SetView > | Range iterator for greatest lower bound of set variable views
Gecode::Set::LubRanges< SetVarImp * > | Range iterator for the least upper bound of a set variable implementation
Gecode::Set::LubRanges< SetView > | Range iterator for least upper bound of set variable views
Gecode::Iter::Ranges::RangeListIter | Iterator over range lists
Gecode::Iter::Ranges::Cache | Range iterator cache
Gecode::Iter::Ranges::Minus | Range iterator for pointwise minus of a range iterator
Gecode::Iter::Ranges::NaryInter | Range iterator for intersection of iterators
Gecode::Iter::Ranges::NaryUnion | Range iterator for union of iterators
Gecode::Iter::Ranges::ScaleUp< Val, UnsVal, I > | Range iterator for pointwise product with a positive integer
Gecode::Iter::Ranges::ScaleUp< int, unsigned int, ViewRanges< IntView > > |
Gecode::Int::ViewRanges< IntScaleView > | Range iterator for integer-precision scale integer views
Gecode::Iter::Ranges::ScaleUp< long long int, unsigned long long int, ViewRanges< IntView > > |
Gecode::Int::ViewRanges< LLongScaleView > | Range iterator for long long int-precision scale integer views
Gecode::Iter::Ranges::Size< I > | Range iterator with size counting
Gecode::Iter::Ranges::ToValues< I > | Value iterator from range iterator
Gecode::Iter::Ranges::ToValues< IntSetRanges > |
Gecode::IntSetValues | Value iterator for integer sets
Gecode::Iter::Ranges::ToValues< IntVarRanges > |
Gecode::IntVarValues | Value iterator for integer variables
Gecode::Iter::Ranges::ToValues< ViewRanges< Gecode::Int::IntView > > |
Gecode::Int::ViewValues< Gecode::Int::IntView > |
Gecode::Iter::Ranges::ToValues< ViewRanges< IntView > > |
Gecode::Int::ViewValues< IntView > |
Gecode::Iter::Ranges::ToValues< ViewRanges< View > > |
Gecode::Int::ViewValues< Gecode::ValSelCommitBase< typenameValSel::View, typenameValSel::Val >::View > |
Gecode::Int::ViewValues< View > | Value iterator for integer views
Gecode::Iter::Values::Array | Value iterator for array of integers
Gecode::Iter::Values::BitSet< BS > | Value iterator for values in a bitset
Gecode::Iter::Values::BitSetOffset< BS > | Value iterator for values in an offset bitset
Gecode::Iter::Values::Inter< I, J > | Value iterator for the intersection of two value iterators
Gecode::Iter::Values::Map< I, M, strict > | Value iterator for mapping values of a value iterator
Gecode::Iter::Values::Negative< I, strict > | Value iterator for selecting only negative values
Gecode::Iter::Values::Offset< I > | Value iterator for pointwise offset (by some constant)
Gecode::Iter::Values::Positive< I, strict > | Value iterator for selecting only positive values
Gecode::Iter::Values::Singleton | Value iterator for single value
Gecode::Iter::Values::Union< I, J > | Value iterator for the union of two value iterators
Gecode::Iter::Values::Unique< I > | Remove duplicate values from from value iterator
Gecode::Iter::Values::ValueListIter | Iterator over value lists
Gecode::Iter::Values::Minus | Value iterator for pointwise minus of a value iterator
Gecode::Kernel::GPI | Global propagator information
Gecode::Kernel::GPI::Info | Class for storing propagator information
Gecode::Kernel::MemoryChunk | Memory chunk with size information
Gecode::Kernel::HeapChunk | Memory chunk allocated from heap with proper alignment
Gecode::Kernel::MemoryManager | Manage memory for space
Gecode::Kernel::SharedMemory | Shared object for several memory areas
Gecode::Kernel::ViewOcc< View > | Occurence information for a view
Gecode::LinFloatExpr | Float expressions
Gecode::LinFloatExpr::Node | Nodes for linear expressions
Gecode::LinFloatRel | Linear relations
Gecode::LinIntExpr | Linear expressions over integer variables
Gecode::LinIntExpr::Node | Nodes for linear expressions
Gecode::LinIntRel | Linear relations over integer variables
Gecode::LocalHandle | Handles for local (space-shared) objects
Gecode::Matrix< A > | Matrix-interface for arrays
Gecode::MeritBase< _View, _Val > | Base-class for merit class
Gecode::MeritBase< FloatView, double > |
Gecode::Float::Branch::MeritAFCSize | Merit class for AFC over size
Gecode::Float::Branch::MeritActionSize | Merit class for action over size
Gecode::Float::Branch::MeritCHBSize | Merit class for CHB Q-score over size
Gecode::Float::Branch::MeritDegreeSize | Merit class for degree over size
Gecode::Float::Branch::MeritMax | Merit class for maximum of float view
Gecode::Float::Branch::MeritMin | Merit class for mimimum
Gecode::Float::Branch::MeritSize | Merit class for size of float view
Gecode::MeritBase< SetView, double > |
Gecode::Set::Branch::MeritAFCSize | Merit class for AFC over size
Gecode::Set::Branch::MeritActionSize | Merit class for action over size
Gecode::Set::Branch::MeritCHBSize | Merit class for CHB Q-score over size
Gecode::Set::Branch::MeritDegreeSize | Merit class for degree over size
Gecode::MeritBase< SetView, int > |
Gecode::Set::Branch::MeritMax | Merit class for maximum of set view
Gecode::Set::Branch::MeritMin | Merit class for mimimum of set views
Gecode::MeritBase< SetView, unsigned int > |
Gecode::Set::Branch::MeritSize | Merit class for size of set view
Gecode::MeritBase< View, double > |
Gecode::Int::Branch::MeritAFCSize< View > | Merit class for AFC over size
Gecode::Int::Branch::MeritActionSize< View > | Merit class for action over size
Gecode::Int::Branch::MeritCHBSize< View > | Merit class for CHB over size
Gecode::Int::Branch::MeritDegreeSize< View > | Merit class for degree over size
Gecode::MeritAFC< View > | Merit class for AFC
Gecode::MeritAction< View > | Merit class for action
Gecode::MeritCHB< View > | Merit class for CHB
Gecode::MeritFunction< View > | Merit class for user-defined merit function
Gecode::MeritBase< View, int > |
Gecode::Int::Branch::MeritMax< View > | Merit class for maximum
Gecode::Int::Branch::MeritMin< View > | Merit class for mimimum of integer views
Gecode::MeritBase< View, unsigned int > |
Gecode::Int::Branch::MeritRegretMax< View > | Merit class for maximum regret
Gecode::Int::Branch::MeritRegretMin< View > | Merit class for minimum regret
Gecode::Int::Branch::MeritSize< View > | Merit class for size
Gecode::MeritDegree< View > | Merit class for degree
Gecode::MetaInfo | Information passed by meta search engines
Gecode::MiniModel::ExpInfo | Expression information
Gecode::MiniModel::FinalBag | For collecting final states while constructing a DFA
Gecode::MiniModel::NodeInfo | Node information computed during traversal of the expressions
Gecode::MiniModel::PosInfo | Information on positions collected during traversal
Gecode::MiniModel::StatePool | State pool combines a tree of states together with yet unprocessed states
Gecode::MiniModel::SymbolsInc | Sort symbols
Gecode::MiniModel::TransitionBag | For collecting transitions while constructing a DFA
Gecode::NGL | No-good literal recorded during search
Gecode::ViewValNGL< View, int, PC_INT_VAL > |
Gecode::Int::Branch::EqNGL< View > | No-good literal for equality
Gecode::ViewValNGL< View, int, PC_INT_BND > |
Gecode::Int::Branch::GqNGL< View > | No-good literal for greater or equal
Gecode::Int::Branch::LqNGL< View > | No-good literal for less or equal
Gecode::ViewValNGL< View, int, PC_INT_DOM > |
Gecode::Int::Branch::NqNGL< View > | No-good literal for disequality
Gecode::ViewValNGL< SetView, int, PC_SET_ANY > |
Gecode::Set::Branch::ExcNGL | No-good literal for exclusion
Gecode::Set::Branch::IncNGL | No-good literal for inclusion
Gecode::Search::NoNGL | Class for a sentinel no-good literal
Gecode::ViewValNGL< View, Val, pc > | View-value no-good literal
Gecode::NoGoods | No-goods recorded from restarts
Gecode::Search::Par::Path< Gecode::Tracer > |
Gecode::Search::Seq::Path< Gecode::Tracer > |
Gecode::Search::Par::Path< Tracer > | Depth-first path (stack of edges) supporting recomputation
Gecode::Search::Seq::Path< Tracer > | Depth-first path (stack of edges) supporting recomputation
Gecode::NoIdxVarImpConf | Configuration class for variable implementations without index structure
Gecode::NonLinFloatExpr | Base class for non-linear float expressions
Gecode::MiniModel::ArithNonLinFloatExpr | Non-linear float arithmetic expressions
Gecode::NonLinIntExpr | Base class for non-linear expressions over integer variables
Gecode::MiniModel::ArithNonLinIntExpr | Non-linear arithmetic expressions over integer variables
Gecode::MiniModel::SetNonLinIntExpr | Integer valued set expressions
Gecode::Options::_I | Helper class storing Gist inspectors
Gecode::Pos | Position information
Gecode::PostInfo | Class to set group information when a post function is executed
Gecode::PostTraceInfo | Post trace information
Gecode::PropagateTraceInfo | Propagate trace information
Gecode::Propagators | Class to iterate over propagators in a group
Gecode::PropCost | Propagation cost
Gecode::REG | Regular expressions over integer values
Gecode::REG::Exp | Implementation of the actual expression tree
Gecode::Region | Handle to region
Gecode::region_allocator< T > | Allocator that allocates memory from a region
Gecode::region_allocator< T >::rebind< U > | Rebinding helper (returns the type of a similar allocator for type U)
Gecode::region_allocator< void > | Region allocator - specialization for `void`
Gecode::region_allocator< void >::rebind | Rebinding helper (returns the type of a similar allocator for type U)
Gecode::Reify | Reification specification
Gecode::Search::NoTraceRecorder | Empty trace recorder
Gecode::Search::NoTraceRecorder::ID | Class for storing node identifiers
Gecode::Search::Options | Search engine options
CommonOptions | Common command line options
Gecode::Gist::Options | Options for Gist
Gecode::Search::Par::CollectAll | Collect all solutions
Gecode::Search::Par::CollectBest | Collect best solutions
Gecode::Search::Par::Path< Tracer >::Edge | Search tree edge for recomputation
Gecode::Search::Seq::Path< Tracer >::Edge | Search tree edge for recomputation
Gecode::Search::Seq::Probe< Tracer >::Node | Node in the search tree for LDS
Gecode::Search::Seq::SharedStopInfo | Shared stop information
Gecode::Search::Seq::Slave | Runnable slave of a portfolio master
Gecode::Search::TraceRecorder | Simple recorder for a search tracer
Gecode::Search::EdgeTraceRecorder | Recorder for a search tracer with edge information
Gecode::Search::TraceRecorder::ID | Class for storing identifiers
Gecode::Search::WrapTraceRecorder | Recorder for engine events (for access control)
Gecode::SearchTracer | Support for tracing search
Gecode::CPProfilerSearchTracer | Class to record search trace info for CPProfiler
Gecode::StdSearchTracer |
Gecode::SearchTracer::EdgeInfo | Edge information
Gecode::SearchTracer::EngineInfo | Information about an engine
Gecode::SearchTracer::NodeInfo | Node information
Gecode::Set::ArrayRanges | Range iterator for a two-dimensional array
Gecode::Set::BndSet | Sets of integers
Gecode::Set::GLBndSet | Growing sets of integers
Gecode::Set::LUBndSet | Shrinking sets of integers
Gecode::Set::GlbRanges< T > | Range iterator for the greatest lower bound
Gecode::Set::GlbRanges< ComplementView< View > > | Range iterator for greatest lower bound of complement set views
Gecode::Set::GlbRanges< SingletonView > | Range iterator for greatest lower bound of singleton set view
Gecode::Set::GlbRanges< View > |
Gecode::Set::GlbRanges< CachedView< View > > | Range iterator for greatest lower bound of cached set views
Gecode::Set::GlbRanges< ComplementView< ComplementView< View > > > | Range iterator for the greatest lower bound of double-complement-views
Gecode::Set::Int::IntLess | Sort order for integers
Gecode::Set::Int::OverweightValues< I > | Value Iterator for values above a certain weight
Gecode::Set::LubRanges< T > | Range iterator for the least upper bound
Gecode::Set::LubRanges< ComplementView< View > > | Range iterator for least upper bound of complement set views
Gecode::Set::LubRanges< ConstSetView > | Range iterator for least upper bound of constant set view
Gecode::Set::GlbRanges< ConstSetView > | Range iterator for greatest lower bound of constant set view
Gecode::Set::LubRanges< View > |
Gecode::Set::LubRanges< CachedView< View > > | Range iterator for least upper bound of cached set views
Gecode::Set::LubRanges< ComplementView< ComplementView< View > > > | Range iterator for the least upper bound of double-complement-views
Gecode::Set::Rel::CharacteristicSets | Representation of the characteristic functions of two sets
Gecode::Set::Rel::CharacteristicSets::CSIter | Value iterator for characteristic function
Gecode::Set::Relax | Class for posting equalities for non-relaxed variables
Gecode::Set::SetTraceView | Duplicate of a set view
Gecode::Set::SetVarImpConf | Configuration for Set-variable implementations
Gecode::SetCmpRel | Comparison relation (for two-sided comparisons)
Gecode::SetExpr | Set expressions
Gecode::SetExpr::Node | Node for set expression
Gecode::SetRel | Set relations
Gecode::SetTraceDelta | Trace delta information for set variables
Gecode::SetVarGlbRanges | Iterator for the greatest lower bound ranges of a set variable
Gecode::SetVarGlbValues | Iterator for the values in the greatest lower bound of a set variable
Gecode::SetVarLubRanges | Iterator for the least upper bound ranges of a set variable
Gecode::SetVarLubValues | Iterator for the values in the least upper bound of a set variable
Gecode::SetVarUnknownRanges | Iterator for the unknown ranges of a set variable
Gecode::SetVarUnknownValues | Iterator for the values in the unknown set of a set variable
Gecode::SharedHandle | The shared handle
Gecode::SharedArray< int > |
Gecode::SharedArray< Idx > |
Gecode::SharedData< BranchTbl > |
Gecode::SharedData< BranchFilter< Var > > |
Gecode::SharedData< VarValPrint< Var, Gecode::ValCommit< View, typenameBranchTraits< typenameView::VarType >::ValType >::Val > > |
Gecode::SharedData< std::function< void(Gecode::Space &home)> > |
Gecode::SharedData< Function > |
Gecode::SharedData< CommitFunction > |
Gecode::SharedData< ValFunction > |
Gecode::Action | Class for action management
Gecode::BoolAction | Recording actions for Boolean variables
Gecode::FloatAction | Recording actions for float variables
Gecode::IntAction | Recording actions for integer variables
Gecode::SetAction | Recording actions for set variables
Gecode::CHB | Class for CHB management
Gecode::BoolCHB | Recording CHB for Boolean variables
Gecode::FloatCHB | Recording CHB for float variables
Gecode::IntCHB | Recording CHB for integer variables
Gecode::SetCHB | Recording CHB for set variables
Gecode::DFA | Deterministic finite automaton (DFA)
Gecode::FlatZinc::BranchInformation |
Gecode::IntSet | Integer sets
Gecode::Kernel::SharedSpaceData | Class to store data shared among several spaces
Gecode::Rnd | Random number generator
Gecode::SharedArray< T > | Shared array with arbitrary number of elements
Gecode::SharedData< Data > | Class for sharing data between spaces
Gecode::TraceFilter | Trace filters
Gecode::TupleSet | Class represeting a set of tuples
Gecode::Slice< A > | A slice of a matrix
Gecode::Space::Branchers | Class to iterate over branchers of a space
Gecode::Space::IdlePropagators | Class to iterate over idle propagators of a space
Gecode::Space::Propagators | Class to iterate over propagators of a space
Gecode::Space::ScheduledPropagators | Class to iterate over scheduled propagators of a space
Gecode::space_allocator< T > | Allocator that allocates memory from a space heap
Gecode::space_allocator< T >::rebind< U > | Rebinding helper (returns the type of a similar allocator for type U)
Gecode::space_allocator< void > | Space allocator - specialization for `void`
Gecode::space_allocator< void >::rebind | Rebinding helper (returns the type of a similar allocator for type U)
Gecode::StatusStatistics | Statistics for execution of status
Gecode::Gist::Statistics | Statistics about the search tree
Gecode::Search::Statistics | Search engine statistics
Gecode::Search::Worker | Search worker statistics
Gecode::Search::Seq::Probe< Gecode::Tracer > |
Gecode::Search::Par::Engine< Tracer >::Worker | Parallel depth-first search worker
Gecode::Search::Par::BAB< Tracer >::Worker | Parallel branch-and-bound search worker
Gecode::Search::Par::DFS< Tracer >::Worker | Parallel depth-first search worker
Gecode::Search::Seq::BAB< Tracer > | Implementation of depth-first branch-and-bound search engine
Gecode::Search::Seq::DFS< Tracer > | Depth-first search engine implementation
Gecode::Search::Seq::Probe< Tracer > | Probe engine for LDS
Gecode::SubscribedPropagators | Iterator over subscribed propagators
Gecode::Support::Allocator | Default memory allocator
Gecode::Support::BitSetData | Date item for bitsets
Gecode::Support::BlockAllocator< T, A, blocksize > | Manage memory organized into block lists (allocator)
Gecode::Support::BlockAllocator< RangeList, Region > |
Gecode::Iter::Ranges::RangeListIter::RLIO | Shared object for allocation
Gecode::Support::BlockAllocator< ValueList, Region > |
Gecode::Iter::Values::ValueListIter::VLIO | Shared object for allocation
Gecode::Support::BlockClient< T, A, blocksize > | Client for block allocator of type T
Gecode::Support::BlockClient< PosSet, Region > |
Gecode::MiniModel::PosSet | Sets of positions
Gecode::Support::BlockClient< RangeList, Region > |
Gecode::Iter::Ranges::RangeListIter::RangeList | Range list class
Gecode::Support::BlockClient< StateNode, Heap > |
Gecode::MiniModel::StateNode | Node together with state information
Gecode::Support::BlockClient< ValueList, Region > |
Gecode::Iter::Values::ValueListIter::ValueList | Value list class
Gecode::Support::DynamicArray< T, A > | Array with arbitrary number of elements
Gecode::Support::DynamicQueue< T, A > | Queue with arbitrary number of elements
Gecode::Support::DynamicStack< T, A > | Stack with arbitrary number of elements
Gecode::Support::Event | An event for synchronization
Gecode::Support::IntTypeTraits< IntType > | Traits to for information about integer types
Gecode::Support::IntTypeTraits< signed char > | Traits for signed char
Gecode::Support::IntTypeTraits< signed int > | Traits for signed integer
Gecode::Support::IntTypeTraits< signed short int > | Traits for signed short int
Gecode::Support::IntTypeTraits< unsigned char > | Traits for unsigned char
Gecode::Support::IntTypeTraits< unsigned int > | Traits for unsigned integer
Gecode::Support::IntTypeTraits< unsigned short int > | Traits for unsigned short int
Gecode::Support::Job< RetType > | Baseclass for jobs with return type RetType
Gecode::Support::JobStop< RetType > | Class to throw an exception to stop new jobs from being started
Gecode::Support::Less< Type > | Comparison class for sorting using <
Gecode::Support::Less< Card > |
Gecode::Int::GCC::CardLess< Card > | Sort by increasing cardinality
Gecode::Support::LinearCongruentialGenerator< m, a, q, r > | Template for linear congruential generators
Gecode::Support::Lock | A lock as a scoped frontend for a mutex
Gecode::Support::Mutex | A mutex for mutual exclausion among several threads
Gecode::Support::QuickSortStack< Type > | Static stack for quicksort
Gecode::Support::RawBitSetBase | Basic bitset support (without stored size information)
Gecode::Int::BinPacking::ConflictGraph::NodeSet | Sets of graph nodes
Gecode::Support::BitSetBase | Basic bitset support
Gecode::Support::BitSet< Region > |
Gecode::Int::NValues::SymBitMatrix | Symmetric diagonal bit matrix
Gecode::Support::BitSet< Gecode::Space > |
Gecode::Support::BitSetOffset< Gecode::Space > |
Gecode::Int::Sequence::Violations | Simple bitsets for recording violations
Gecode::Support::BitSet< A > | Simple bitsets
Gecode::Support::BitSetOffset< A > | Bitsets with index offset
Gecode::Support::RefCount | A class for thread-safe reference counting
Gecode::Support::RunJobs< Jobs, RetType > | Parallel iterator that runs jobs with a given number of threads
Gecode::Support::RunJobs< Jobs, RetType >::Master |
Gecode::Support::Runnable | An interface for objects that can be run by a thread
Gecode::Search::Par::Slave< Gecode::Search::Par::CollectBest > |
Gecode::Search::Par::Engine< Tracer >::Worker | Parallel depth-first search worker
Gecode::Search::Par::Slave< Collect > | Runnable slave of a portfolio master
Gecode::Support::RunJobs< Jobs, RetType >::Deleter | A class to delete the master (running in parallel)
Gecode::Support::RunJobs< Jobs, RetType >::Worker | The actual worker using a thread to run a job
Gecode::Support::StaticStack< T, A > | Stack with fixed number of elements
Gecode::Support::Terminator | An interface for objects that can be called after a thread has terminated (after running the thread's destructor)
Gecode::Search::Par::Engine< Tracer > | Parallel depth-first search engine
Gecode::Support::Thread | Simple threads
Gecode::Support::Thread::Run | A real thread
Gecode::Support::Timer | Timer
Gecode::SymmetryHandle | A reference-counted pointer to a SymmetryObject
Gecode::TFE | Trace filter expressions
Gecode::TieBreak< VarBranch > | Combine variable selection criteria for tie-breaking
Gecode::TraceFilter::TFO::Filter | Filter information
Gecode::TraceFilter::TFO::StackFrame |
Gecode::TraceTraits< View > | Traits for tracing
Gecode::TraceTraits< Float::FloatView > | Trace traits for float views
Gecode::TraceTraits< Int::BoolView > | Trace traits for Boolean views
Gecode::TraceTraits< Int::IntView > | Trace traits for integer views
Gecode::TraceTraits< Set::SetView > | Trace traits for set views
Gecode::TupleSet::Range | Range information
Gecode::TupleSet::Ranges | Iterator over ranges
Gecode::TupleSet::ValueData | Data about values in the table
Gecode::ValBranch< Var > | Value branching information
Gecode::ValBranch< BoolVar > |
Gecode::BoolAssign | Which values to select for assignment
Gecode::BoolValBranch | Which values to select for branching first
Gecode::ValBranch< FloatVar > |
Gecode::FloatAssign | Which values to select for assignment
Gecode::FloatValBranch | Which values to select for branching first
Gecode::ValBranch< IntVar > |
Gecode::IntAssign | Which values to select for assignment
Gecode::IntValBranch | Which values to select for branching first
Gecode::ValBranch< SetVar > |
Gecode::SetAssign | Which value to select for assignment
Gecode::SetValBranch | Which values to select for branching first
Gecode::ValCommit< _View, _Val > | Base class for value commit
Gecode::ValCommit< FloatView, FloatVal > |
Gecode::Float::Branch::ValCommitLqGq | Value commit class for less or equal or greater or equal
Gecode::ValCommit< SetView, int > |
Gecode::Set::Branch::ValCommitExc | Value commit class for exclusion
Gecode::Set::Branch::ValCommitInc | Value commit class for inclusion
Gecode::ValCommit< View, BranchTraits< View::VarType >::ValType > |
Gecode::ValCommitFunction< View > | Class for user-defined value commit
Gecode::ValCommit< View, int > |
Gecode::Int::Branch::ValCommitEq< View > | Value commit class for equality
Gecode::Int::Branch::ValCommitGq< View > | Value commit class for greater or equal
Gecode::Int::Branch::ValCommitGr< View > | Value commit class for greater
Gecode::Int::Branch::ValCommitLq< View > | Value commit class for less or equal
Gecode::ValSel< _View, _Val > | Base class for value selection
Gecode::ValSel< FloatView, FloatNumBranch > |
Gecode::Float::Branch::ValSelGq | Value selection class for values smaller than median of view
Gecode::Float::Branch::ValSelLq | Value selection class for values smaller than median of view
Gecode::Float::Branch::ValSelRnd | Value selection class for random value of view
Gecode::ValSel< IntView, int > |
Gecode::Int::Branch::ValSelRangeMax | Value selection class for maximum range of integer view
Gecode::Int::Branch::ValSelRangeMin | Value selection class for minimum range of integer view
Gecode::ValSel< SetView, int > |
Gecode::Set::Branch::ValSelMax | Value selection class for maximum of view
Gecode::Set::Branch::ValSelMed | Value selection class for median of view
Gecode::Set::Branch::ValSelMin | Value selection class for mimimum of view
Gecode::Set::Branch::ValSelRnd | Value selection class for random value of view
Gecode::ValSel< View, BranchTraits< View::VarType >::ValType > |
Gecode::ValSelFunction< View > | User-defined value selection
Gecode::ValSel< View, int > |
Gecode::Int::Branch::ValSelAvg< View > | Value selection class for average of view
Gecode::Int::Branch::ValSelMax< View > | Value selection class for maximum of view
Gecode::Int::Branch::ValSelMed< View > | Value selection class for median of view
Gecode::Int::Branch::ValSelMin< View > | Value selection class for mimimum of view
Gecode::Int::Branch::ValSelRnd< View > | Value selection class for random value of view
Gecode::ValSelCommitBase< _View, _Val > | Base class for value selection and commit
Gecode::ValSelCommitBase< ValSel::View, ValSel::Val > |
Gecode::ValSelCommit< ValSel, ValCommit > | Class for value selection and commit
Gecode::Var | Base class for variables
Gecode::VarImpVar< Int::BoolVarImp > |
Gecode::BoolVar | Boolean integer variables
Gecode::VarImpVar< Float::FloatVarImp > |
Gecode::FloatVar | Float variables
Gecode::VarImpVar< Int::IntVarImp > |
Gecode::IntVar | Integer variables
Gecode::VarImpVar< Set::SetVarImp > |
Gecode::SetVar | Set variables
Gecode::VarImpVar< VarImp > | Variables as interfaces to variable implementations
Gecode::VarArray< Var > | Variable arrays
Gecode::VarArray< BoolVar > |
Gecode::BoolVarArray | Boolean variable array
Gecode::VarArray< FloatVar > |
Gecode::FloatVarArray | Float variable array
Gecode::VarArray< IntVar > |
Gecode::IntVarArray | Integer variable array
Gecode::VarArray< SetVar > |
Gecode::SetVarArray | Set variable array
Gecode::VarBranch< Var > | Variable branching information
Gecode::VarBranch< BoolVar > |
Gecode::BoolVarBranch | Which Boolean variable to select for branching
Gecode::VarBranch< FloatVar > |
Gecode::FloatVarBranch | Which variable to select for branching
Gecode::VarBranch< IntVar > |
Gecode::FlatZinc::IntBoolVarBranch | Which integer or Boolean variable to select for branching
Gecode::IntVarBranch | Which integer variable to select for branching
Gecode::VarBranch< SetVar > |
Gecode::SetVarBranch | Which variable to select for branching
Gecode::VarImpBase | Base-class for variable implementations
Gecode::VarImp< Gecode::Float::FloatVarImpConf > |
Gecode::Float::FloatVarImpBase | Base-class for Float-variable implementations
Gecode::Float::FloatVarImp | Float variable implementation
Gecode::VarImp< Gecode::Int::BoolVarImpConf > |
Gecode::Int::BoolVarImpBase | Base-class for Bool-variable implementations
Gecode::Int::BoolVarImp | Boolean variable implementation
Gecode::VarImp< Gecode::Int::IntVarImpConf > |
Gecode::Int::IntVarImpBase | Base-class for Int-variable implementations
Gecode::Int::IntVarImp | Integer variable implementation
Gecode::VarImp< Gecode::Set::SetVarImpConf > |
Gecode::Set::SetVarImpBase | Base-class for Set-variable implementations
Gecode::Set::SetVarImp | Finite integer set variable implementation
Gecode::VarImp< VIC > | Base-class for variable implementations
Gecode::VarImpDisposerBase | Base class for Variable type disposer
Gecode::VarImpDisposer< VarImp > | Variable implementation disposer
Gecode::VarImpView< Var > | Base-class for variable implementation views
Gecode::VarImpView< BoolVar > |
Gecode::Int::BoolView | Boolean view for Boolean variables
Gecode::VarImpView< FloatVar > |
Gecode::Float::FloatView | Float view for float variables
Gecode::VarImpView< IntVar > |
Gecode::Int::IntView | Integer view for integer variables
Gecode::VarImpView< SetVar > |
Gecode::Set::SetView | Set view for set variables
Gecode::ViewArray< View > | View arrays
Gecode::ViewArray< Int::Linear::NoView > | View array for no view (empty)
Gecode::ViewSel< _View > | Abstract class for view selection
Gecode::ViewSel< Merit::View > |
Gecode::Val< Choose, Merit > |
Gecode::View< Choose, Merit > |
Gecode::Var< Choose, Merit > |
Gecode::View< ChooseMin, Merit > |
Gecode::Var< ChooseMin, Merit > |
Gecode::View< ChooseMax, Merit > |
Gecode::Var< ChooseMax, Merit > |
Gecode::ViewSelChoose< ChooseMax, Merit > |
Gecode::View< ChooseMax, Merit > |
Gecode::Var< ChooseMax, Merit > |
Gecode::ViewSelChooseTbl< ChooseMax, Merit > |
Gecode::ViewSelMaxTbl< Merit > | Select view with largest merit taking tie-break limit into account
Gecode::ViewSelMax< Merit > | Select view with largest merit
Gecode::ViewSelChoose< ChooseMin, Merit > |
Gecode::View< ChooseMin, Merit > |
Gecode::Var< ChooseMin, Merit > |
Gecode::ViewSelChooseTbl< ChooseMin, Merit > |
Gecode::ViewSelMinTbl< Merit > | Select view with least merit taking tie-break limit into account
Gecode::ViewSelMin< Merit > | Select view with least merit
Gecode::ViewSelChoose< Choose, Merit > | Choose view according to merit
Gecode::ViewSelChooseTbl< Choose, Merit > | Choose view according to merit taking tie-break limit into account
Gecode::ViewSel< View > |
Gecode::ViewSelNone< View > | Select the first unassigned view
Gecode::ViewSelRnd< View > | Select a view randomly
Gecode::ViewTraceInfo | View trace information
Gecode::ViewTraceRecorder< View >::Slack | Collection of slack values
Graph | Graph specification
GraphColorSpec | Graph specification
ManFixPSETask |
Gecode::Int::ManToOptTask< ManFixPSETask > |
Gecode::Int::Cumulative::OptFixPSETask | Cumulative optional task with fixed processing, start or end time
Gecode::Int::Unary::OptFixPSETask | Unary optional task with fixed processing, start or end time
ManFixPSETaskFwd |
Gecode::Int::FwdToBwd< ManFixPSETaskFwd > |
ManFixPTask |
Gecode::Int::ManToOptTask< ManFixPTask > |
Gecode::Int::Cumulative::OptFixPTask | Cumulative optional task with fixed processing time
Gecode::Int::Unary::OptFixPTask | Unary optional task with fixed processing time
ManFixPTaskFwd |
Gecode::Int::FwdToBwd< ManFixPTaskFwd > |
ManFlexTask |
Gecode::Int::ManToOptTask< ManFlexTask > |
Gecode::Int::Cumulative::OptFlexTask | Cumulative optional task with flexible processing time
Gecode::Int::Unary::OptFlexTask | Unary optional task with flexible processing time
ManFlexTaskFwd |
Gecode::Int::FwdToBwd< ManFlexTaskFwd > |
ManTask |
Gecode::Int::ManToOptTask< ManTask > | Class to define an optional from a mandatory task
OpenShop::PrintTask | Helper class for representing tasks when printing a solution
OpenShop::Task | Task representation for CROSH heuristic
OptFixPSETaskFwd |
Gecode::Int::FwdToBwd< OptFixPSETaskFwd > |
OptFixPTaskFwd |
Gecode::Int::FwdToBwd< OptFixPTaskFwd > |
OptFlexTaskFwd |
Gecode::Int::FwdToBwd< OptFlexTaskFwd > |
PhotoSpec | Specifications for photo example
Play | Entry in round robin schedule
QDialog |
Gecode::Gist::AboutGist | Display information about Gist
Gecode::Gist::PreferencesDialog | Preferences dialog for Gist
QMainWindow |
Gecode::Gist::GistMainWindow | Main window for stand-alone Gist
Gecode::Gist::TextOutputI | Window with associated ostream, used for inspecting Gist nodes
QThread |
Gecode::Gist::SearcherThread | A thread that concurrently explores the tree
QWidget |
Gecode::Gist::Gist | Gecode Interactive Search Tool
Gecode::Gist::NodeStatInspector | Display information about nodes
Gecode::Gist::NodeWidget | Small node drawings for the status bar
Gecode::Gist::TreeCanvas | A canvas that displays the search tree
RadiotherapyData | Instance data for radio therapy problem
RoundingBase |
Gecode::Float::Rounding | Floating point rounding policy
RRS | Round robin schedule
SortByWeight | Sort orders by weight
std::basic_ostream |
Gecode::Gist::GistOutputStream | An outputstream that prints on a QTextEdit
std::exception |
Gecode::Exception | Exception: Base-class for exceptions
Gecode::DynamicCastFailed | Exception: dynamic cast failed
Gecode::Float::ArgumentSame | Exception: Arguments contain same variable multiply
Gecode::Float::ArgumentSizeMismatch | Exception: Arguments are of different size
Gecode::Float::IllegalOperation | Exception: Illegal operation passed as argument
Gecode::Float::OutOfLimits | Exception: Value out of limits
Gecode::Float::TooFewArguments | Exception: Too few arguments available in argument array
Gecode::Float::UnknownBranching | Exception: Unknown value or variable selection passed as argument
Gecode::Float::UnknownOperation | Exception: Unknown operation passed as argument
Gecode::Float::UnknownRelation | Exception: Unknown relation passed as argument
Gecode::Float::ValOfUnassignedVar | Exception: Attempt to access value of unassigned variable
Gecode::Float::ValueMixedSign | Exception: Value with mixed sign
Gecode::Float::VariableEmptyDomain | Exception: Variable created with empty domain
Gecode::IllegalDecay | Exception: illegal decay factor
Gecode::Int::AlreadyFinalized | Exception: Tuple set already finalized
Gecode::Int::ArgumentSame | Exception: Arguments contain same variable multiply
Gecode::Int::ArgumentSizeMismatch | Exception: Arguments are of different size
Gecode::Int::IllegalOperation | Exception: Illegal operation passed as argument
Gecode::Int::LDSBBadValueSelection | Exception: Value selection incompatible with LDSB
Gecode::Int::LDSBUnbranchedVariable | Exception: Variable in symmetry not branched on
Gecode::Int::NotYetFinalized | Exception: Tuple set not yet finalized
Gecode::Int::NotZeroOne | Exception: Not 0/1 integer
Gecode::Int::OutOfLimits | Exception: Value out of limits
Gecode::Int::TooFewArguments | Exception: Too few arguments available in argument array
Gecode::Int::UninitializedTupleSet | Exception: uninitialized tuple set
Gecode::Int::UnknownBranching | Exception: Unknown value or variable selection passed as argument
Gecode::Int::UnknownOperation | Exception: Unknown operation passed as argument
Gecode::Int::UnknownReifyMode | Exception: Unknown reification mode passed as argument
Gecode::Int::UnknownRelation | Exception: Unknown relation passed as argument
Gecode::Int::ValOfUnassignedVar | Exception: Attempt to access value of unassigned variable
Gecode::Int::VariableEmptyDomain | Exception: Variable created with empty domain
Gecode::InvalidFunction | Exception: invalid function
Gecode::MemoryExhausted | Exception: Memory exhausted
Gecode::MiniModel::ArgumentOutOfRange | Exception: Argument out of range
Gecode::MiniModel::ArgumentSizeMismatch | Exception: Sizes of arguments does not match
Gecode::MiniModel::TooFewArguments | Exception: Too few arguments available in argument array
Gecode::MoreThanOneTracer | Exception: action has wrong arity
Gecode::OperatingSystemError | Exception: operating system error
Gecode::Search::MixedBest | Exception: Mixed non-best and best solution search requested
Gecode::Search::NoAssets | Exception: No assets requested for portfolio-based search
Gecode::Search::NoBest | Exception: Best solution search is not supported
Gecode::Search::UninitializedCutoff | Exception: Uninitialized cutoff for restart-based search
Gecode::Set::ArgumentSizeMismatch | Exception: Arguments are of different size
Gecode::Set::IllegalOperation | Exception: Illegal operation passed as argument
Gecode::Set::OutOfLimits | Exception: Value out of limits
Gecode::Set::TooFewArguments | Exception: No arguments available in argument array
Gecode::Set::UnknownBranching | Exception: Unknown value or variable selection passed as argument
Gecode::Set::UnknownOperation | Exception: Unknown operation type passed as argument
Gecode::Set::UnknownRelation | Exception: Unknown relation type passed as argument
Gecode::Set::VariableEmptyDomain | Exception: Variable created with empty domain
Gecode::SpaceFailed | Exception: Operation on failed space invoked
Gecode::SpaceIllegalAlternative | Exception: Commit with illegal alternative
Gecode::SpaceNoBrancher | Exception: Commit when no brancher present
Gecode::SpaceNotCloned | Exception: Copy constructor did not call base class copy constructor
Gecode::SpaceNotStable | Exception: Operation on not stable space invoked
Gecode::TooManyBranchers | Exception: too many branchers
Gecode::TooManyGroups | Exception: too many groups
Gecode::UninitializedAFC | Exception: uninitialized AFC
Gecode::UninitializedAction | Exception: uninitialized action
Gecode::UninitializedCHB | Exception: uninitialized CHB
Gecode::UninitializedRnd | Exception: uninitialized random number generator
Gecode::UnknownBrancher | Exception: unknown brancher
Gecode::UnknownPropagator | Exception: unknown propagator
std::hash< Gecode::DFA > | Hashing for DFAs
std::hash< Gecode::SharedArray< int > > | Hashing for tuple sets
std::hash< Gecode::TupleSet > | Hashing for tuple sets
std::map |
Gecode::Int::LDSB::VariableMap | Map from variable implementation to index
Gecode::Set::LDSB::VariableMap | Map from variable implementation to index
TaskView |
Gecode::Int::FwdToBwd< TaskView > | Task mapper: turns a task view into its dual
Test::Base | Base class for all tests to be run
Test::AFC | Test for AFC infrastructure
Test::Array::Iterator | Base class for testing iterators
Test::Array::SharedArrayIterator | Class for testing the SharedArray iterator
Test::Array::VarArgsIterator | Class for testing the VarArgs iterator
Test::Array::VarArrayIterator | Class for testing the VarArray iterator
Test::Array::ViewArrayIterator | Class for testing the ViewArray iterator
Test::Assign::BoolTest | Base class for tests for branching on Boolean variables
Test::Assign::Bool | Test branching with distinct propagator
Test::Assign::FloatTest | Base class for tests for branching on float variables
Test::Assign::Float | Test assignment with distinct propagator
Test::Assign::IntTest | Base class for tests for assigning integer variables
Test::Assign::Int | Test assignment with distinct propagator
Test::Assign::SetTest | Base class for tests for branching on set variables
Test::Assign::Set | Test assignment with disjoint union propagator
Test::Branch::BoolTest | Base class for tests for branching on Boolean variables
Test::Branch::Bool | Test brancher with distinct propagator
Test::Branch::FloatTest | Base class for tests for branching on float variables
Test::Branch::Float | Test brancher with distinct propagator
Test::Branch::IntTest | Base class for tests for branching on integer variables
Test::Branch::Int | Test brancher with distinct propagator
Test::Branch::SetTest | Base class for tests for branching on set variables
Test::Branch::Set | Test brancher
Test::FlatZinc::FlatZincTest | Base class for tests for FlatZinc
Test::Float::Test | Base class for tests with float constraints
Test::Float::Arithmetic::AbsXX | Test for absolute value constraint with shared variables
Test::Float::Arithmetic::AbsXY | Test for absolute value constraint
Test::Float::Arithmetic::Div | Test for division constraint
Test::Float::Arithmetic::DivSol | Test for division constraint when solution is ensured
Test::Float::Arithmetic::MaxNary | Test for n-ary maximum constraint
Test::Float::Arithmetic::MaxNaryShared | Test for n-ary maximum constraint with shared variables
Test::Float::Arithmetic::MaxXXX | Test for binary maximum constraint with shared variables
Test::Float::Arithmetic::MaxXXY | Test for binary maximum constraint with shared variables
Test::Float::Arithmetic::MaxXYX | Test for binary maximum constraint with shared variables
Test::Float::Arithmetic::MaxXYY | Test for binary maximum constraint with shared variables
Test::Float::Arithmetic::MaxXYZ | Test for binary maximum constraint
Test::Float::Arithmetic::MinNary | Test for n-ary minimmum constraint
Test::Float::Arithmetic::MinNaryShared | Test for n-ary minimmum constraint with shared variables
Test::Float::Arithmetic::MinXXX | Test for binary minimum constraint with shared variables
Test::Float::Arithmetic::MinXXY | Test for binary minimum constraint with shared variables
Test::Float::Arithmetic::MinXYX | Test for binary minimum constraint with shared variables
Test::Float::Arithmetic::MinXYY | Test for binary minimum constraint with shared variables
Test::Float::Arithmetic::MinXYZ | Test for binary minimum constraint
Test::Float::Arithmetic::MultXXX | Test for multiplication constraint with shared variables
Test::Float::Arithmetic::MultXXY | Test for multiplication constraint with shared variables
Test::Float::Arithmetic::MultXXYSol | Test for multiplication constraint with shared variables when solution is ensured
Test::Float::Arithmetic::MultXYX | Test for multiplication constraint with shared variables
Test::Float::Arithmetic::MultXYY | Test for multiplication constraint with shared variables
Test::Float::Arithmetic::MultXYZ | Test for multiplication constraint
Test::Float::Arithmetic::MultXYZSol | Test for multiplication constraint when solution is ensured
Test::Float::Arithmetic::NRootXX | Test for nroot constraint with shared variables
Test::Float::Arithmetic::NRootXY | Test for nroot constraint
Test::Float::Arithmetic::NRootXYSol | Test for nroot constraint where solution is ensured
Test::Float::Arithmetic::PowXX | Test for pow constraint with shared variables
Test::Float::Arithmetic::PowXY | Test for pow constraint
Test::Float::Arithmetic::PowXYSol | Test for pow constraint where solution is ensured
Test::Float::Arithmetic::SqrXX | Test for squaring constraint with shared variables
Test::Float::Arithmetic::SqrXY | Test for squaring constraint
Test::Float::Arithmetic::SqrXYSol | Test for squaring constraint where solution is ensured
Test::Float::Arithmetic::SqrtXX | Test for square root constraint with shared variables
Test::Float::Arithmetic::SqrtXY | Test for square root constraint
Test::Float::Arithmetic::SqrtXYSol | Test for square root constraint where solution is ensured
Test::Float::Basic::Basic | Test whether testing infrastructure for float variables works
Test::Float::Channel::Bool | Test channel between float and Boolean
Test::Float::Channel::Int | Test channel between float and integer
Test::Float::Dom::Num | Test for domain constraints with float numbers
Test::Float::Dom::Val | Test for domain constraints with a float value
Test::Float::Linear::FloatFloat | Test linear relation over float variables
Test::Float::Linear::FloatVar | Test linear relation over float variables
Test::Float::Rel::FloatFloat | Test for simple relation involving float variable and float constant
Test::Float::Rel::FloatVarXX | Test for simple relation involving shared float variables
Test::Float::Rel::FloatVarXY | Test for simple relation involving float variables
Test::Float::Transcendental::ExpXX | Test for exponent constraint with shared variables
Test::Float::Transcendental::ExpXY | Test for exponent constraint
Test::Float::Transcendental::ExpXYSol | Test for exponent constraint where solution is ensured
Test::Float::Transcendental::LogNXX | Test for logarithm base n constraint with shared variables
Test::Float::Transcendental::LogNXY | Test for logarithm base n constraint
Test::Float::Transcendental::LogNXYSol | Test for logarithm base n constraint where solution is ensured
Test::Float::Transcendental::LogXX | Test for logarithm constraint with shared variables
Test::Float::Transcendental::LogXY | Test for logarithm constraint
Test::Float::Transcendental::LogXYSol | Test for logarithm constraint where solution is ensured
Test::Float::Transcendental::PowXX | Test for pow exponent n constraint with shared variables
Test::Float::Transcendental::PowXY | Test for pow exponent n constraint
Test::Float::Transcendental::PowXYSol | Test for pow exponent n constraint where solution is ensured
Test::Float::Trigonometric::ACosXX | Test for acosinus constraint with shared variables
Test::Float::Trigonometric::ACosXY | Test for acosinus constraint
Test::Float::Trigonometric::ACosXYSol | Test for acosinus constraint where solution is ensured
Test::Float::Trigonometric::ASinXX | Test for asinus constraint with shared variables
Test::Float::Trigonometric::ASinXY | Test for asinus constraint
Test::Float::Trigonometric::ASinXYSol | Test for asinus constraint where solution is ensured
Test::Float::Trigonometric::ATanXX | Test for atangent constraint with shared variables
Test::Float::Trigonometric::ATanXY | Test for atangent constraint
Test::Float::Trigonometric::ATanXYSol | Test for atangent constraint where solution is ensured
Test::Float::Trigonometric::CosXX | Test for cosinus constraint with shared variables
Test::Float::Trigonometric::CosXY | Test for cosinus constraint
Test::Float::Trigonometric::CosXYSol | Test for cosinus constraint where solution is ensured
Test::Float::Trigonometric::SinXX | Test for sinus constraint with shared variables
Test::Float::Trigonometric::SinXY | Test for sinus constraint
Test::Float::Trigonometric::SinXYSol | Test for sinus constraint where solution is ensured
Test::Float::Trigonometric::TanXX | Test for tangent constraint with shared variables
Test::Float::Trigonometric::TanXY | Test for tangent constraint
Test::Float::Trigonometric::TanXYSol | Test for tangent constraint where solution is ensured
Test::Int::BinPacking::CliqueMBPT | Test for testing the max-clique finding for multi bin-packing
Test::Int::Distinct::Pathological | Testing pathological cases
Test::Int::Test | Base class for tests with integer constraints
Test::Float::MiniModelLin::LinExpr | Test linear expressions over float variables
Test::Float::MiniModelLin::LinRel | Test linear relations over float variables
Test::Int::Arithmetic::AbsXX | Test for absolute value constraint with shared variables
Test::Int::Arithmetic::AbsXY | Test for absolute value constraint
Test::Int::Arithmetic::ArgMax | Test for argument maximum constraint
Test::Int::Arithmetic::ArgMaxBool | Test for Boolean argument maximum constraint
Test::Int::Arithmetic::ArgMaxBoolShared | Test for argument maximum constraint with shared variables
Test::Int::Arithmetic::ArgMaxShared | Test for argument maximum constraint with shared variables
Test::Int::Arithmetic::ArgMin | Test for argument minimum constraint
Test::Int::Arithmetic::ArgMinBool | Test for argument minimum constraint
Test::Int::Arithmetic::ArgMinBoolShared | Test for argument minimum constraint with shared variables
Test::Int::Arithmetic::ArgMinShared | Test for argument minimum constraint with shared variables
Test::Int::Arithmetic::Div | Test for division constraint
Test::Int::Arithmetic::DivMod | Test for division/modulo constraint
Test::Int::Arithmetic::MaxNary | Test for n-ary maximum constraint
Test::Int::Arithmetic::MaxNaryShared | Test for n-ary maximum constraint with shared variables
Test::Int::Arithmetic::MaxXXX | Test for binary maximum constraint with shared variables
Test::Int::Arithmetic::MaxXXY | Test for binary maximum constraint with shared variables
Test::Int::Arithmetic::MaxXYX | Test for binary maximum constraint with shared variables
Test::Int::Arithmetic::MaxXYY | Test for binary maximum constraint with shared variables
Test::Int::Arithmetic::MaxXYZ | Test for binary maximum constraint
Test::Int::Arithmetic::MinNary | Test for n-ary minimmum constraint
Test::Int::Arithmetic::MinNaryShared | Test for n-ary minimmum constraint with shared variables
Test::Int::Arithmetic::MinXXX | Test for binary minimum constraint with shared variables
Test::Int::Arithmetic::MinXXY | Test for binary minimum constraint with shared variables
Test::Int::Arithmetic::MinXYX | Test for binary minimum constraint with shared variables
Test::Int::Arithmetic::MinXYY | Test for binary minimum constraint with shared variables
Test::Int::Arithmetic::MinXYZ | Test for binary minimum constraint
Test::Int::Arithmetic::Mod | Test for modulo constraint
Test::Int::Arithmetic::MultXXX | Test for multiplication constraint with shared variables
Test::Int::Arithmetic::MultXXY | Test for multiplication constraint with shared variables
Test::Int::Arithmetic::MultXYX | Test for multiplication constraint with shared variables
Test::Int::Arithmetic::MultXYY | Test for multiplication constraint with shared variables
Test::Int::Arithmetic::MultXYZ | Test for multiplication constraint
Test::Int::Arithmetic::NrootXX | Test for nroot constraint with shared variables
Test::Int::Arithmetic::NrootXY | Test for nroot constraint
Test::Int::Arithmetic::PowXX | Test for power constraint with shared variables
Test::Int::Arithmetic::PowXY | Test for power constraint
Test::Int::Arithmetic::SqrXX | Test for squaring constraint with shared variables
Test::Int::Arithmetic::SqrXY | Test for squaring constraint
Test::Int::Arithmetic::SqrtXX | Test for square root constraint with shared variables
Test::Int::Arithmetic::SqrtXY | Test for square root constraint
Test::Int::Basic::Basic | Test whether testing infrastructure for integer variables works
Test::Int::BinPacking::BPT | Test with different bin loads and items
Test::Int::BinPacking::MBPT | Test with different bin loads and items
Test::Int::Bool::BinConstXX | Test for binary Boolean operation with shared variables and constant
Test::Int::Bool::BinConstXY | Test for binary Boolean operation with constant
Test::Int::Bool::BinXXX | Test for binary Boolean operation with shared variables
Test::Int::Bool::BinXXY | Test for binary Boolean operation with shared variables
Test::Int::Bool::BinXYX | Test for binary Boolean operation with shared variables
Test::Int::Bool::BinXYY | Test for binary Boolean operation with shared variables
Test::Int::Bool::BinXYZ | Test for binary Boolean operation
Test::Int::Bool::ClauseConst | Test for Clause Boolean operation with constant
Test::Int::Bool::ClauseXXY | Test for Clause Boolean operation
Test::Int::Bool::ClauseXXYYX | Test for Clause Boolean operation
Test::Int::Bool::ClauseXYZ | Test for Clause Boolean operation
Test::Int::Bool::ITEBool | Test for if-then-else-constraint
Test::Int::Bool::ITEInt | Test for if-then-else-constraint
Test::Int::Bool::Nary | Test for Nary Boolean operation
Test::Int::Bool::NaryConst | Test for Nary Boolean operation with constant
Test::Int::Bool::NaryShared | Test for Nary Boolean operation
Test::Int::Channel::ChannelFull | Simple test for channel (testing all variables)
Test::Int::Channel::ChannelHalf | Simple test for channel (testing single set of variables)
Test::Int::Channel::ChannelLinkMulti | Test channel between integer variable and array of Boolean variables
Test::Int::Channel::ChannelLinkSingle | Test channel between integer and Boolean variable
Test::Int::Channel::ChannelShared | Test channel with shared variables
Test::Int::Circuit::Circuit | Simple test for circuit constraint
Test::Int::Circuit::CircuitCost | Simple test for circuit constraint with total cost
Test::Int::Circuit::CircuitFullCost | Simple test for circuit constraint with full cost information
Test::Int::Circuit::Path | Simple test for Hamiltonian path constraint
Test::Int::Circuit::PathCost | Simple test for path constraint with total cost
Test::Int::Count::IntArrayInt | Test number of several equal integers equal to integer
Test::Int::Count::IntArrayVar | Test number of several equal integers equal to integer variable
Test::Int::Count::IntInt | Test number of equal integers equal to integer
Test::Int::Count::IntIntDup | Test number of equal integers equal to integer with duplicate variables
Test::Int::Count::IntVar | Test number of equal integers equal to integer variable
Test::Int::Count::IntVarShared | Test number of equal integers equal to integer variable with sharing
Test::Int::Count::SetInt | Test number of integers contained in an integer set equal to integer
Test::Int::Count::SetVar | Test number of integers contained in an integer set equal to integer variable
Test::Int::Count::VarInt | Test number of equal variables equal to integer
Test::Int::Count::VarVar | Test number of equal variables equal to integer variable
Test::Int::Count::VarVarSharedA | Test number of equal variables equal to integer variable with sharing
Test::Int::Count::VarVarSharedB | Test number of equal variables equal to integer variable with sharing
Test::Int::Count::VarVarSharedC | Test number of equal variables equal to integer variable with sharing
Test::Int::Cumulative::ManFixPCumulative | Test for cumulative constraint with mandatory tasks
Test::Int::Cumulative::ManFlexCumulative | Test for cumulative constraint with flexible mandatory tasks
Test::Int::Cumulative::OptFixPCumulative | Test for cumulative constraint with optional tasks
Test::Int::Cumulative::OptFlexCumulative | Test for cumulative constraint with optional flexible tasks
Test::Int::Cumulatives::Cumulatives | Test for cumulatives constraint
Test::Int::Distinct::Distinct< useCount > | Simple test for distinct constraint
Test::Int::Distinct::Except | Simple test for distinct except constant constraint
Test::Int::Distinct::Offset | Simple test for distinct constraint with offsets
Test::Int::Distinct::Optional | Simple test for optional distinct constraint
Test::Int::Distinct::Random | Randomized test for distinct constraint
Test::Int::Dom::DomDom | Test for domain constraint (full integer set)
Test::Int::Dom::DomInt | Test for domain constraint (integer)
Test::Int::Dom::DomRange | Test for domain constraint (range)
Test::Int::Dom::DomRangeEmpty | Test for domain constraint (empty range)
Test::Int::Element::IntBoolInt | Test for element with integer array and integer and Boolean variable
Test::Int::Element::IntBoolVar | Test for element with integer array and integer and Boolean variable
Test::Int::Element::IntIntInt | Test for element with integer array and integer variables
Test::Int::Element::IntIntShared | Test for element with integer array and single shared integer variable
Test::Int::Element::IntIntVar | Test for element with integer array and integer variables
Test::Int::Element::MatrixBoolVarBoolVarXX | Test for matrix element with Boolean variable array and Boolean variable
Test::Int::Element::MatrixBoolVarBoolVarXY | Test for matrix element with Boolean variable array and Boolean variable
Test::Int::Element::MatrixIntBoolVarXX | Test for matrix element with integer array and Boolean variable
Test::Int::Element::MatrixIntBoolVarXY | Test for matrix element with integer array and Boolean variable
Test::Int::Element::MatrixIntIntVarXX | Test for matrix element with integer array and integer variable
Test::Int::Element::MatrixIntIntVarXY | Test for matrix element with integer array and integer variable
Test::Int::Element::MatrixIntVarIntVarXX | Test for matrix element with integer variable array and integer variable
Test::Int::Element::MatrixIntVarIntVarXY | Test for matrix element with integer variable array and integer variable
Test::Int::Element::VarBoolInt | Test for element with Boolean variable array and integer variable
Test::Int::Element::VarBoolVar | Test for element with Boolean variable array and integer variable
Test::Int::Element::VarIntInt | Test for element with variable array and integer variables
Test::Int::Element::VarIntShared | Test for element with variable array and shared integer variable
Test::Int::Element::VarIntVar | Test for element with variable array and integer variables
Test::Int::Exec::BoolWait | Simple test for wait (Boolean variables)
Test::Int::Exec::IntWait | Simple test for wait (integer variables)
Test::Int::Exec::When | Simple test for when
Test::Int::Extensional::RegDistinct | Test with regular expression for distinct constraint
Test::Int::Extensional::RegEmptyDFA | Test for empty DFA
Test::Int::Extensional::RegEmptyREG | Test for empty regular expression
Test::Int::Extensional::RegOpt | Test for optimizations
Test::Int::Extensional::RegRoland | Test with simple regular expression from Roland Yap
Test::Int::Extensional::RegSharedA | Test with simple regular expression and shared variables (uses unsharing)
Test::Int::Extensional::RegSharedB | Test with simple regular expression and shared variables (uses unsharing)
Test::Int::Extensional::RegSharedC | Test with simple regular expression and shared variables (uses unsharing)
Test::Int::Extensional::RegSharedD | Test with simple regular expression and shared variables (uses unsharing)
Test::Int::Extensional::RegSimpleA | Test with simple regular expression
Test::Int::Extensional::RegSimpleB | Test with simple regular expression
Test::Int::Extensional::RegSimpleC | Test with simple regular expression
Test::Int::Extensional::TupleSetBase | Test with tuple set
Test::Int::Extensional::TupleSetBool | Test with bool tuple set
Test::Int::Extensional::TupleSetLarge | Test with large tuple set
Test::Int::Extensional::TupleSetTest | Test with tuple set
Test::Int::Extensional::RandomTupleSetTest |
Test::Int::GCC::IntAllMax | Test for integer cardinality with max cardinality for all variables
Test::Int::GCC::IntAllMinMax | Test for integer cardinality with min and max for all variables
Test::Int::GCC::IntAllMinMaxDef | Test for integer cardinality with min and max for all variables
Test::Int::GCC::IntSome< hole > | Test for integer cardinality for some variables
Test::Int::GCC::VarAll | Test for variable cardinality for all cardinality values
Test::Int::GCC::VarSome | Test for variable cardinality for some cardinality values
Test::Int::Linear::BoolInt | Test linear relation over Boolean variables equal to constant
Test::Int::Linear::BoolVar | Test linear relation over Boolean variables equal to integer variable
Test::Int::Linear::IntInt | Test linear relation over integer variables
Test::Int::Linear::IntVar | Test linear relation over integer variables
Test::Int::Member::Bool | Test membership for Boolean variables
Test::Int::Member::Int | Test membership for integer variables
Test::Int::MiniModel::BoolLex | Test for relation between arrays of Boolean variables
Test::Int::MiniModel::IntLex | Test for relation between arrays of integer variables
Test::Int::MiniModelArithmetic::Abs | Test for absolute value constraint
Test::Int::MiniModelArithmetic::Div | Test for division constraint
Test::Int::MiniModelArithmetic::Max | Test for binary maximum constraint
Test::Int::MiniModelArithmetic::MaxNary | Test for n-ary maximum constraint
Test::Int::MiniModelArithmetic::Min | Test for binary minimum constraint
Test::Int::MiniModelArithmetic::MinNary | Test for n-ary minimmum constraint
Test::Int::MiniModelArithmetic::Minus | Test for subtraction constraint
Test::Int::MiniModelArithmetic::Mod | Test for division constraint
Test::Int::MiniModelArithmetic::Mult | Test for multiplication constraint
Test::Int::MiniModelArithmetic::Plus | Test for addition constraint
Test::Int::MiniModelArithmetic::Sqr | Test for sqr constraint
Test::Int::MiniModelArithmetic::Sqrt | Test for sqrt constraint
Test::Int::MiniModelBoolean::BoolElement | Test for Boolean element (regression)
Test::Int::MiniModelBoolean::BoolExprInt | Test Boolean expressions with integer result
Test::Int::MiniModelBoolean::BoolExprVar | Test posting Boolean expressions
Test::Int::MiniModelCount::IntArrayInt | Test number of several equal integers equal to integer
Test::Int::MiniModelCount::IntArrayVar | Test number of several equal integers equal to integer variable
Test::Int::MiniModelCount::IntInt | Test number of equal integers equal to integer
Test::Int::MiniModelCount::IntVar | Test number of equal integers equal to integer variable
Test::Int::MiniModelCount::VarInt | Test number of equal variables equal to integer
Test::Int::MiniModelCount::VarVar | Test number of equal variables equal to integer variable
Test::Int::MiniModelLin::LinExprBool | Test linear expressions over Boolean variables
Test::Int::MiniModelLin::LinExprInt | Test linear expressions over integer variables
Test::Int::MiniModelLin::LinExprMixed | Test linear expressions over integer and Boolean variables
Test::Int::MiniModelLin::LinRelBool | Test linear relations over Boolean variables
Test::Int::MiniModelLin::LinRelInt | Test linear relations over integer variables
Test::Int::MiniModelLin::LinRelMixed | Test linear relations over integer and Boolean variables
Test::Int::MiniModelSet::SetExprConst | Test set expressions with constant result
Test::Int::MiniModelSet::SetExprExpr | Test set expressions with expression result
Test::Int::NValues::BoolInt | Test number of values of Boolean variables equal to integer
Test::Int::NValues::BoolVar | Test number of values of Boolean variables equal to integer variable
Test::Int::NValues::IntInt | Test number of values of integer variables equal to integer
Test::Int::NValues::IntVar | Test number of values of integer variables equal to integer variable
Test::Int::NoOverlap::Int2 | Test for no-overlap with integer dimensions (rectangles)
Test::Int::NoOverlap::IntOpt2 | Test for no-overlap with optional rectangles
Test::Int::NoOverlap::Var2 | Test for no-overlap with variable dimensions (rectangles)
Test::Int::NoOverlap::VarOpt2 | Test for no-overlap with optional rectangles
Test::Int::NoOverlap::VarOptShared2 | Test for no-overlap with optional rectangles and shared variables
Test::Int::Order::Int | Test order for integer variables
Test::Int::Precede::Multi | Test for multiple value precedence constraint
Test::Int::Precede::Single | Test for single value precedence constraint
Test::Int::Rel::BoolArrayInt | Test for relation between arrays of Boolean variables and integers
Test::Int::Rel::BoolArrayVar | Test for relation between arrays of Boolean variables
Test::Int::Rel::BoolInt | Test for simple relation involving Boolean variable and integer constant
Test::Int::Rel::BoolSeq | Test for sequence of relations between Boolean variables
Test::Int::Rel::BoolSharedSeq | Test for sequence of relations between shared Boolean variables
Test::Int::Rel::BoolVarXX | Test for simple relation involving shared Boolean variables
Test::Int::Rel::BoolVarXY | Test for simple relation involving Boolean variables
Test::Int::Rel::IntArrayDiff | Test for relation between differently sized arrays of integer variables
Test::Int::Rel::IntArrayInt | Test for relation between same sized arrays of integer variables and integers
Test::Int::Rel::IntArrayVar | Test for relation between same sized arrays of integer variables
Test::Int::Rel::IntInt | Test for simple relation involving integer variable and integer constant
Test::Int::Rel::IntSeq | Test for sequence of relations between integer variables
Test::Int::Rel::IntSharedSeq | Test for sequence of relations between shared integer variables
Test::Int::Rel::IntVarXX | Test for simple relation involving shared integer variables
Test::Int::Rel::IntVarXY | Test for simple relation involving integer variables
Test::Int::Sequence::SequenceTest | Base test for sequence
Test::Int::Sequence::SequenceBoolTest | Test for sequence with boolean variables
Test::Int::Sequence::SequenceIntTest | Test for sequence with boolean variables
Test::Int::Sorted::NoVar | Test sorted without permutation variables
Test::Int::Sorted::PermVar | Test sorted with permutation variables
Test::Int::Unary::ManFixPUnary | Test for unary constraint
Test::Int::Unary::ManFlexUnary | Test for unary constraint
Test::Int::Unary::OptFixPUnary | Test for unary constraint with optional tasks
Test::Int::Unary::OptFlexUnary | Test for unary constraint with optional tasks
Test::Int::Unshare::Bool | Test for unsharing Boolean variables
Test::Int::Unshare::Failed | Test for unsharing in failed spaces
Test::Int::Unshare::Int | Test for unsharing integer variables
Test::LDSB::LDSB< T > | Test for LDSB infrastructure
Test::LDSB::LDSBLatin | Test for LDSB infrastructure with Latin square problem
Test::LDSB::LDSBSet< T > | Test for LDSB infrastructure
Test::NoGoods::NoGoods< Model, ValBranch > | Base class for no-good tests
Test::Region | Test for Region memory area
Test::Search::Test | Base class for search tests
Test::Search::BAB< Model > | Test for best solution search
Test::Search::DFS< Model > | Test for depth-first search
Test::Search::LDS< Model > | Test for limited discrepancy search
Test::Search::PBS< Model, Engine > | Test for portfolio-based search
Test::Search::RBS< Model, Engine > | Test for restart-based search
Test::Search::SEBPBS< Model > | Test for portfolio-based search using SEBs
Test::Set::SetTest | Base class for tests with set constraints
Test::Set::Channel::ChannelBool | Test for Boolean channel constraint
Test::Set::Channel::ChannelInt | Test for integer channel constraint
Test::Set::Channel::ChannelSet | Test for set channel constraint
Test::Set::Channel::ChannelSorted | Test for sorted channeling constraint
Test::Set::Convex::Convex | Test for convexity propagator
Test::Set::Convex::ConvexHull | Test for convex hull propagator
Test::Set::Convex::ConvexHullS | Sharing test for convex hull propagator
Test::Set::Distinct::AtmostOne | Test for the atmostone propagator
Test::Set::Dom::CardRange | Test for cardinality range
Test::Set::Dom::DomDom | Test for equality with a domain
Test::Set::Dom::DomInt | Test for equality with an integer
Test::Set::Dom::DomIntRange | Test for equality with an integer range
Test::Set::Dom::DomRange | Test for equality with a range
Test::Set::Element::ElementDisjoint | Test for ElementDisjoint constraint
Test::Set::Element::ElementInter | Test for ElementInter constraint
Test::Set::Element::ElementInterIn | Test for ElementInter constraint
Test::Set::Element::ElementSet | Test for ElementSet constraint
Test::Set::Element::ElementSetConst | Test for ElementSetConst constraint
Test::Set::Element::ElementUnion | Test for ElementUnion constraint
Test::Set::Element::ElementUnionConst | Test for ElementUnionConst constraint
Test::Set::Element::MatrixIntSet | Test for matrix element with integer set array and set variable
Test::Set::Exec::Wait | Simple test for wait (set variables)
Test::Set::Int::Card | Test for cardinality constraint
Test::Set::Int::Elem | Test for element constraint
Test::Set::Int::IntRel | Test for integer relation constraint
Test::Set::Int::Max | Test for maximal element constraint
Test::Set::Int::Min | Test for minimal element constraint
Test::Set::Int::NoElem | Test for negated element constraint
Test::Set::Int::NotMax | Test for negated maximal element constraint
Test::Set::Int::NotMin | Test for negated minimal element constraint
Test::Set::Int::Rel | Test for relation constraint
Test::Set::Int::Weights | Test for set weight constraint
Test::Set::Precede::Multi | Test for multiple value precedence constraint
Test::Set::Precede::Single | Test for single value precedence constraint
Test::Set::Rel::ITE | Test for if-then-else-constraint
Test::Set::Rel::RelBin | Test for binary set relation constraint
Test::Set::RelOp::Rel | Test for ternary relation constraint
Test::Set::RelOp::RelIntN | Test for n-ary partition constraint
Test::Set::RelOp::RelN | Test for n-ary partition constraint
Test::Set::RelOpConst::RelISI | Test for set relation constraint with constants
Test::Set::RelOpConst::RelSIS | Test for set relation constraint with constants
Test::Set::RelOpConst::RelSSI | Test for set relation constraint with constants
Test::Set::Sequence::SeqU | Test for sequential-union constraint
Test::Set::Sequence::Sequence | Test for sequence constraint
Test::Set::Var::Construct | Test for cardinality constraint
Test::Branch::RunInfo | Information about one test-run
Test::Float::Assignment | Base class for assignments
Test::Float::CpltAssignment | Generate all assignments
Test::Float::ExtAssignment | Generate all assignments except the last variable and complete it to get a solution
Test::Float::RandomAssignment | Generate random selection of assignments
Test::Float::Dom::Create | Help class to create and register tests
Test::Float::FloatRelTypes | Iterator for float relation types
Test::Float::Linear::Create | Help class to create and register tests
Test::Float::MiniModelLin::Create | Help class to create and register tests
Test::Float::MiniModelLin::LinInstr | Type for representing a linear instruction
Test::Float::Rel::Create | Help class to create and register tests
Test::ind | Simple class for describing identation
Test::Int::Arithmetic::Create | Help class to create and register tests
Test::Int::Assignment | Base class for assignments
Test::Int::BinPacking::LoadBinAssignment | Generate load and bin assignments
Test::Int::CpltAssignment | Generate all assignments
Test::Int::Cumulatives::CumulativeAssignment | Class for generating reasonable assignments
Test::Int::RandomAssignment | Generate random selection of assignments
Test::Int::RandomMixAssignment | Generate random selection of assignments
Test::Int::BinPacking::Create | Help class to create and register tests
Test::Int::Bool::Create | Help class to create and register tests
Test::Int::BoolOpTypes | Iterator for Boolean operation types
Test::Int::Circuit::Create | Help class to create and register tests
Test::Int::Count::Create | Help class to create and register tests
Test::Int::Cumulative::Create | Help class to create and register tests
Test::Int::Cumulatives::Above | Describe that event is above a certain limit
Test::Int::Cumulatives::Below | Describe that event is below a certain limit
Test::Int::Cumulatives::Event | Event to be scheduled
Test::Int::Element::Create | Help class to create and register tests
Test::Int::Extensional::Create | Help class to create and register tests
Test::Int::Extensional::TupleSetTestSize | Help class to create and register tests with a fixed table size
Test::Int::GCC::Create | Help class to create and register tests
Test::Int::IntPropBasicAdvanced | Iterator for basic and advanced integer propagation levels
Test::Int::IntPropLevels | Iterator for simple integer propagation levels
Test::Int::IntRelTypes | Iterator for integer relation types
Test::Int::Linear::Create | Help class to create and register tests
Test::Int::Member::Create | Help class to create and register tests
Test::Int::MiniModel::Create | Help class to create and register tests
Test::Int::MiniModelBoolean::BoolInstr | Type for representing a Boolean instruction
Test::Int::MiniModelBoolean::Create | Help class to create and register tests
Test::Int::MiniModelCount::Create | Help class to create and register tests
Test::Int::MiniModelLin::Create | Help class to create and register tests
Test::Int::MiniModelLin::LinInstr | Type for representing a linear instruction
Test::Int::MiniModelSet::Create | Help class to create and register tests
Test::Int::MiniModelSet::SetInstr | Type for representing a set instruction
Test::Int::NoOverlap::Create | Help class to create and register tests
Test::Int::NValues::Create | Help class to create and register tests
Test::Int::Order::Create | Help class to create and register tests
Test::Int::Rel::Create | Help class to create and register tests
Test::Int::Sequence::Create | Help class to create and register tests
Test::Int::Sorted::SortIntMin | Relation for sorting integers in increasing order
Test::Int::Unary::Create | Help class to create and register tests
Test::LDSB::Action1 | Test with action
Test::LDSB::MatSym1 | Test for matrix symmetry
Test::LDSB::MatSym2 | Test for matrix symmetry
Test::LDSB::MatSym3 | Test for matrix symmetry
Test::LDSB::MatSym4 | Test for matrix symmetry
Test::LDSB::Recomputation | Test for handling of recomputation
Test::LDSB::ReflectSym1 | Test for reflection symmetry
Test::LDSB::ReflectSym2 | Test for reflection symmetry
Test::LDSB::SetValSym1 | Test for set value symmetry
Test::LDSB::SetValSym2 | Test for set value symmetry
Test::LDSB::SetVarSeqSym1 | Test for set variable sequence symmetry
Test::LDSB::SetVarSeqSym2 | Test for set variable sequence symmetry
Test::LDSB::SetVarSym1 | Test for set variable symmetry
Test::LDSB::SimIntValSym1 | Test for value sequence symmetry
Test::LDSB::SimIntValSym2 | Test for value sequence symmetry
Test::LDSB::SimIntValSym3 | Test for value sequence symmetry
Test::LDSB::SimIntVarSym1 | Test for variable sequence symmetry
Test::LDSB::SimIntVarSym2 | Test for variable sequence symmetry
Test::LDSB::TieBreak | Test tiebreaking variable heuristic
Test::LDSB::ValSym1 | Test for value symmetry
Test::LDSB::ValSym1b | Test for value symmetry
Test::LDSB::ValSym1c | Test for value symmetry
Test::LDSB::ValSym2 | Test for value symmetry
Test::LDSB::ValSym2b | Test for value symmetry
Test::LDSB::ValSym3 | Test for value symmetry
Test::LDSB::ValSym4 | Test for value symmetry
Test::LDSB::ValSym5 | Test for value symmetry
Test::LDSB::VarSym1 | Test for variable symmetry
Test::LDSB::VarSym1b | Test for variable symmetry
Test::LDSB::VarSym2 | Test for variable symmetry
Test::LDSB::VarSym3 | Test for variable symmetry
Test::LDSB::VarSym4 | Test for variable symmetry
Test::LDSB::VarSym5 | Test for variable symmetry
Test::LDSB::VarValSym1 | Test for variable and value symmetry
Test::NoGoods::Create | Help class to create and register tests
Test::Options | Commandline options
Test::Search::BranchTypes | Iterator for branching types
Test::Search::ConstrainTypes | Iterator for constrain types
Test::Search::Create | Help class to create and register tests
Test::Set::CountableSet | Iterate all subsets of a given set
Test::Set::CountableSetValues | Value iterator producing subsets of an IntSet
Test::Set::RelOp::Create | Help class to create and register tests
Test::Set::RelOp::CreateIntN | Help class to create and register tests
Test::Set::RelOp::CreateN | Help class to create and register tests
Test::Set::RelOpConst::Create | Help class to create and register tests
Test::Set::SetAssignment | Generate all set assignments
Test::Set::SetOpTypes | Iterator for Boolean operation types
Test::Set::SetRelTypes | Iterator for set relation types
Test::SortByName | Sort tests by name
TileSpec | Specification of one tile