Class List
Here are the classes, structs, unions and interfaces with brief descriptions:

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