| ►NGecode | Gecode toplevel namespace |
| ►NDriver | Script commandline driver |
| CBaseOption | Base class for options |
| CBoolOption | Boolean option |
| CCombinedStop | Stop object based on nodes, failures, and time |
| CDoubleOption | Double option |
| CEngineToMeta | Wrapper class to add engine template argument |
| CExtractStepOption | Class to extract the step option value |
| CIgnoreStepOption | Class to ignore the step option value |
| CIntOption | Integer option |
| CScriptBase | Parametric base-class for scripts |
| ►CStringOption | String-valued option (integer value defined by strings) |
| CValue | Option value |
| CStringValueOption | String-valued option |
| CUnsignedIntOption | Unsigned integer option |
| ►NFlatZinc | Interpreter for the FlatZinc language |
| ►NAST | Abstract syntax trees for the FlatZinc interpreter |
| CArray | Array node |
| CArrayAccess | Node representing an array access |
| CAtom | Node representing an atom |
| CBoolLit | Boolean literal node |
| CBoolVar | Boolean variable node |
| CCall | Node representing a function call |
| CFloatLit | Float literal node |
| CFloatVar | Float variable node |
| CIntLit | Integer literal node |
| CIntVar | Integer variable node |
| CNode | A node in a FlatZinc abstract syntax tree |
| CSetLit | Set literal node |
| CSetVar | Set variable node |
| CString | String node |
| CTypeError | Exception signaling type error |
| CVar | Variable node base class |
| CAlias | Alias for a variable specification |
| ►CAuxVarBrancher | Branching on the introduced variables |
| CChoice | Choice that only signals failure or success |
| CBoolVarSpec | Specification for Boolean variables |
| CBranchInformation | |
| CBranchInformationO | |
| CConExpr | Abstract representation of a constraint |
| CError | Exception class for FlatZinc errors |
| CFlatZincOptions | Options for running FlatZinc models |
| CFlatZincSpace | A space that can be initialized with a FlatZinc model |
| CFloatVarSpec | Specification for floating point variables |
| CFznRnd | A thread-safe random number generator |
| CIntVarSpec | Specification for integer variables |
| COption | Optional value |
| COutputOrder | Strict weak ordering for output items |
| CParserState | State of the FlatZinc parser |
| CPrinter | Output support class for FlatZinc interpreter |
| CRegistry | Map from constraint identifier to constraint posting functions |
| CSetVarSpec | Specification for set variables |
| CSymbolEntry | Entries in the symbol table |
| CSymbolTable | Symbol table mapping identifiers (strings) to values |
| CVarSpec | Base class for variable specifications |
| ►NFloat | Floating point numbers |
| ►NArithmetic | Arithmetic propagators |
| CAbs | Propagator for bounds consistent absolute operator |
| CChannel | Propagator for bounds consistent integer part operator |
| CDiv | Propagator for bounds multiplication operator |
| CMax | Propagator for bounds consistent max operator |
| CMin | Propagator for bounds consistent min operator |
| CMult | Bounds consistent multiplication propagator |
| CMultPlus | Bounds consistent positive multiplication propagator |
| CMultZeroOne | Bounds or domain consistent propagator for |
| CNaryMax | Bounds consistent n-ary maximum propagator |
| CNthRoot | Propagator for bounds consistent nth root operator |
| CPow | Propagator for bounds consistent pow operator |
| CSqr | Propagator for bounds consistent square operator |
| CSqrPlus | Bounds consistent positive square propagator |
| CSqrt | Propagator for bounds consistent square root operator |
| ►NBranch | Float branchers |
| CMeritActivitySize | Merit class for size over activity |
| CMeritAFCSize | Merit class for size over afc |
| CMeritDegreeSize | Merit class for size over degree |
| CMeritMax | Merit class for maximum of float view |
| CMeritMin | Merit class for mimimum |
| CMeritSize | Merit class for size of float view |
| CValCommitLqGq | Value commit class for less or equal or greater or equal |
| CValSelGq | Value selection class for values smaller than median of view |
| CValSelLq | Value selection class for values smaller than median of view |
| CValSelRnd | Value selection class for random value of view |
| ►NLinear | Linear propagators |
| CEq | Propagator for bounds consistent n-ary linear equality |
| CLin | Base-class for n-ary linear propagators |
| CLq | Propagator for bounds consistent n-ary linear less or equal |
| CTerm | Class for describing linear term |
| CTermLess | Sort linear terms by view |
| ►NRel | Simple relation propagators |
| CEq | Binary bounds consistent equality propagator |
| CLe | Less propagator |
| CLq | Less or equal propagator |
| CNaryEq | N-ary bounds consistent equality propagator |
| CNq | Binary bounds consistent disequality propagator |
| CNqFloat | Binary bounds consistent disequality propagator with float value |
| CReEq | Reified binary bounds consistent equality propagator |
| CReEqFloat | Reified bounds consistent equality with float propagator |
| CReLeFloat | Reified less with float propagator |
| CReLq | Reified less or equal propagator |
| CReLqFloat | Reified less or equal with float propagator |
| ►NTranscendental | Transcendental propagators |
| CExp | Propagator for bounds consistent exp operator |
| CPow | Propagator for bounds consistent pow operator |
| ►NTrigonometric | Trigonometric propagators |
| CACos | Propagator for bounds consistent arc cosinus operator |
| CASin | Propagator for bounds consistent arc sinus operator |
| CATan | Propagator for bounds consistent arc tangent operator |
| CCos | Propagator for bounds consistent cosinus operator |
| CSin | Propagator for bounds consistent sinus operator |
| CTan | Propagator for bounds consistent tangent operator |
| CArgumentSame | Exception: Arguments contain same variable multiply |
| CArgumentSizeMismatch | Exception: Arguments are of different size |
| CFloatDelta | Float delta information for advisors |
| CFloatVarImp | Float variable implementation |
| CFloatVarImpBase | Base-class for Float-variable implementations |
| CFloatVarImpConf | Configuration for Float-variable implementations |
| CFloatView | Float view for float variables |
| CIllegalOperation | Exception: Illegal operation passed as argument |
| CMinusView | Minus float view |
| COffsetView | OffsetView float view |
| COutOfLimits | Exception: Value out of limits |
| CRounding | Floating point rounding policy |
| CScaleView | Scale float view |
| CTooFewArguments | Exception: Too few arguments available in argument array |
| CUnknownBranching | Exception: Unknown value or variable selection passed as argument |
| CUnknownOperation | Exception: Unknown operation passed as argument |
| CUnknownRelation | Exception: Unknown relation passed as argument |
| CValOfUnassignedVar | Exception: Attempt to access value of unassigned variable |
| CVariableEmptyDomain | Exception: Variable created with empty domain |
| ►NGist | The Gecode Interactive Search Tool |
| CAboutGist | Display information about Gist |
| CBestNode | Static reference to the currently best space |
| CBoundingBox | Bounding box |
| CBranch | Representation of a branch in the search tree |
| CBranchLabelCursor | A cursor that labels branches |
| CComparator | Abstract base class for comparators |
| CDisposeCursor | A cursor that frees all memory |
| CDrawingCursor | A cursor that draws a tree on a QWidget |
| CExtent | Extent representing shape of a tree at one depth level |
| CGist | Gecode Interactive Search Tool |
| CGistMainWindow | Main window for stand-alone Gist |
| CGistOutputStream | An outputstream that prints on a QTextEdit |
| CHideFailedCursor | A cursor that marks failed subtrees as hidden |
| CInspector | Abstract base class for inspectors |
| CLayout | Layout parameters |
| CLayoutCursor | A cursor that computes a tree layout for VisualNodes |
| CLayouter | Helper functions for the layout algorithm |
| CLogos | Class holding Gecode and Gist logo icons |
| CNextSolCursor | A cursor that finds the next solution |
| CNode | Base class for nodes of the search tree |
| CNodeAllocatorBase | Node allocator |
| CNodeCursor | A cursor that can be run over a tree |
| CNodeStatInspector | Display information about nodes |
| CNodeVisitor | Base class for a visitor that runs a cursor over a tree |
| CNodeWidget | Small node drawings for the status bar |
| ►COptions | Options for Gist |
| C_I | Helper class storing inspectors |
| CPostorderNodeVisitor | Run a cursor over a tree, processing nodes in post-order |
| CPreferencesDialog | Preferences dialog for Gist |
| CPreorderNodeVisitor | Run a cursor over a tree, processing nodes in pre-order |
| CPrint | An inspector for printing simple text output |
| CSearcherThread | A thread that concurrently explores the tree |
| CSearchItem | A stack item for depth first search |
| CShape | The shape of a subtree |
| CShapeAllocator | Allocate shapes statically |
| CSpaceNode | A node of a search tree of Gecode spaces |
| CStatCursor | A cursor that collects statistics |
| CStatistics | Statistics about the search tree |
| CStopBrancher | Brancher that stops exploration in Gist |
| CStopChoice | Choice for StopBrancher |
| CTextOutput | An window for simple text output |
| CTextOutputI | Window with associated ostream, used for inspecting Gist nodes |
| CTreeCanvas | A canvas that displays the search tree |
| CUnhideAllCursor | A cursor that marks all nodes in the tree as not hidden |
| CUnstopAllCursor | A cursor that marks all nodes in the tree as not stopping |
| CVarComparator | A simple comparator |
| CVisualNode | Node class that supports visual layout |
| ►NInt | Finite domain integers |
| ►NArithmetic | Numerical (arithmetic) propagators |
| CAbsBnd | Bounds consistent absolute value propagator |
| CAbsDom | Domain consistent absolute value propagator |
| CArgMax | Argument maximum propagator |
| CDivBnd | Bounds consistent division propagator |
| CDivMod | Integer division/modulo propagator |
| CDivPlusBnd | Bounds consistent positive division propagator |
| CMaxBnd | Bounds consistent ternary maximum propagator |
| CMaxDom | Domain consistent ternary maximum propagator |
| CMultBnd | Bounds consistent multiplication propagator |
| CMultDom | Domain consistent multiplication propagator |
| CMultPlusBnd | Bounds consistent positive multiplication propagator |
| CMultPlusDom | Domain consistent positive multiplication propagator |
| CMultZeroOne | Bounds or domain consistent propagator for |
| CNaryMaxBnd | Bounds consistent n-ary maximum propagator |
| CNaryMaxDom | Domain consistent n-ary maximum propagator |
| CNrootBnd | Bounds consistent n-th root propagator |
| CNrootDom | Domain consistent n-th root propagator |
| CNrootPlusBnd | Positive bounds consistent n-th root propagator |
| CNrootPlusDom | Domain consistent n-th root propagator |
| CPowBnd | Bounds consistent power propagator |
| CPowDom | Domain consistent power propagator |
| CPowOps | Operations for power and nroot propagators |
| CPowPlusBnd | Bounds consistent positive power propagator |
| CPowPlusDom | Domain consistent positive power propagator |
| CRangesMapNroot | Mapping integer to n-th root |
| CRangesMapPow | Mapping ranges to powers |
| CSqrOps | Operations for square and square-root propagators |
| CValuesMapNroot | Mapping integer (must be an n-th power) to n-th root |
| CValuesMapNrootSigned | Mapping integer (must be an n-th power) to n-th root (signed) |
| CValuesMapPow | Mapping integer to power |
| ►NBinPacking | Bin-packing propagators |
| ►CConflictGraph | Graph containing conflict information |
| CClique | Clique information |
| CNode | Class for node in graph |
| CNodes | Iterator over node sets |
| CNodeSet | Sets of graph nodes |
| CItem | Item combining bin and size information |
| CPack | Bin-packing propagator |
| CSizeSet | Size sets |
| CSizeSetMinusOne | Size sets with one element discarded |
| CTellCache | Record tell information |
| ►NBool | Boolean propagators |
| CBinOrTrue | Binary Boolean disjunction propagator (true) |
| CBoolBinary | Base-class for binary Boolean propagators |
| CBoolTernary | Base-class for ternary Boolean propagators |
| ►CClause | Boolean clause propagator (disjunctive) |
| CTagged | Advisors for views (tagged whether for x or y) |
| CClauseTrue | Boolean clause propagator (disjunctive, true) |
| CEq | Boolean equality propagator |
| CEqv | Boolean equivalence propagator |
| CIteBase | If-then-else propagator base-class |
| CIteBnd | If-then-else bounds-consistent propagator |
| CIteDom | If-then-else domain-consistent propagator |
| CLe | Boolean less propagator |
| CLq | Boolean less or equal propagator |
| CNaryEq | N-ary Boolean equality propagator |
| CNaryEqv | Boolean n-ary equivalence propagator |
| CNaryLq | Nary Boolean less or equal propagator |
| CNaryOr | Boolean n-ary disjunction propagator |
| CNaryOrTrue | Boolean n-ary disjunction propagator (true) |
| COr | Boolean disjunction propagator |
| COrTrueSubsumed | Binary Boolean disjunction propagator (subsumed) |
| CQuadOrTrue | Quarternary Boolean disjunction propagator (true) |
| CTerOrTrue | Ternary Boolean disjunction propagator (true) |
| ►NBranch | Integer branchers |
| CEqNGL | No-good literal for equality |
| CGqNGL | No-good literal for greater or equal |
| CLqNGL | No-good literal for less or equal |
| CMeritActivitySize | Merit class for size over activity |
| CMeritAFCSize | Merit class for size over afc |
| CMeritDegreeSize | Merit class for size over degree |
| CMeritMax | Merit class for maximum |
| CMeritMin | Merit class for mimimum of integer views |
| CMeritRegretMax | Merit class for maximum regret |
| CMeritRegretMin | Merit class for minimum regret |
| CMeritSize | Merit class for size |
| CNqNGL | No-good literal for disequality |
| CPosValuesChoice | Choice storing position and values for integer views |
| CValCommitEq | Value commit class for equality |
| CValCommitGq | Value commit class for greater or equal |
| CValCommitGr | Value commit class for greater |
| CValCommitLq | Value commit class for less or equal |
| CValSelAvg | Value selection class for average of view |
| CValSelMax | Value selection class for maximum of view |
| CValSelMed | Value selection class for median of view |
| CValSelMin | Value selection class for mimimum of view |
| CValSelNearIncDec | Value selection class for nearest value |
| CValSelNearMinMax | Value selection class for nearest value |
| CValSelRangeMax | Value selection class for maximum range of integer view |
| CValSelRangeMin | Value selection class for minimum range of integer view |
| CValSelRnd | Value selection class for random value of view |
| CViewValuesBrancher | Brancher by view and values selection |
| ►NChannel | Channel propagators |
| CBase | Base-class for channel propagators |
| CBoolIter | Iterates the values to be removed as defined by an array of Boolean views |
| CDom | Domain consistent channel propagator |
| CDomInfo | Combine view with information for domain propagation |
| CLinkMulti | Link propagator for multiple Boolean views |
| CLinkSingle | Link propagator for a single Boolean view |
| CVal | Naive channel propagator |
| CValInfo | Combine view with information for value propagation |
| ►NCircuit | Circuit propagators |
| CBase | Base-class for circuit propagator |
| CDom | "Domain consistent" circuit propagator |
| CSsccInfo | Information required for non-recursive checking for a single scc |
| CTellInfo | Information for performing a recorded tell |
| CVal | "Value-consistent" circuit propagator |
| ►NCount | Counting propagators |
| CEqInt | Propagator for counting views (equal integer to number of equal views) |
| CEqView | Propagator for counting views (equal to number of equal views) |
| CGqInt | Propagator for counting views (greater or equal integer to number of equal views) |
| CGqView | Propagator for counting views (greater or equal to number of equal views) |
| CIntBase | Baseclass for count propagators (integer) |
| CLqInt | Propagator for counting views (less or equal integer to number of equal views) |
| CLqView | Propagator for counting views (less or equal to number of equal views) |
| CViewBase | Base-class for count propagators (view) |
| ►NCumulative | Scheduling for cumulative resources |
| CEvent | Event for task |
| CExtOmegaNode | Node for an extended omega tree |
| CExtOmegaTree | Omega trees for computing ect of task sets |
| CManFixPSETask | Cumulative (mandatory) task with fixed processing, start or end time |
| CManFixPTask | Cumulative (mandatory) task with fixed processing time |
| CManFlexTask | Cumulative (mandatory) task with flexible processing time |
| CManProp | Scheduling propagator for cumulative resource with mandatory tasks |
| COmegaLambdaNode | Node for an omega lambda tree |
| COmegaLambdaTree | Omega-lambda trees for computing ect of task sets |
| COmegaNode | Node for an omega tree |
| COmegaTree | Omega trees for computing ect of task sets |
| COptFixPSETask | Cumulative optional task with fixed processing, start or end time |
| COptFixPTask | Cumulative optional task with fixed processing time |
| COptFlexTask | Cumulative optional task with flexible processing time |
| COptProp | Scheduling propagator for cumulative resource with optional tasks |
| CPrecOrder | Sort by prec array |
| CStoCap | Sort by capacity |
| CTaskByDecCap | Sort order for tasks by decreasing capacity |
| ►NCumulatives | Cumulatives propagators |
| CEvent | An event collects the information for one evnet for the sweep-line |
| CVal | Propagator for the cumulatives constraint |
| ►NDistinct | Distinct propagators |
| CBnd | Bounds consistent distinct propagator |
| CDom | Domain consistent distinct propagator |
| CDomCtrl | Propagation controller for domain consistent distinct |
| CGraph | View-value graph for propagation |
| CHallInfo | Information on Hall intervals |
| CMaxIncIdx | Sort-order by increasing maximum (by index) |
| CMinInc | Sort-order by increasing minimum (direct) |
| CMinIncIdx | Sort-order by increasing minimum (by index) |
| CRank | Rank information |
| CTerDom | Ternary domain consistent distinct propagator |
| CVal | Naive value distinct propagator |
| ►NDom | Domain propagators |
| CReIntSet | Reified domain dom-propagator |
| CReRange | Reified range dom-propagator |
| ►NElement | Element propagators |
| ►CInt | Element propagator for array of integers |
| CByVal | Sorting pointers to (index,value) pairs in value order |
| CIdxVal | Linked index-value pairs |
| CIterIdxUnmark | Value iterator for indices in index-value map |
| CIterVal | Value iterator for values in index-value map |
| CIterValUnmark | Value iterator for values in index-value map |
| CIterIdxView | Value iterator for indices in index-view map |
| CPair | Domain consistent pair propagator |
| CPairValues | Value iterator for pair of iterators |
| CRelTestBnd | Class for bounds-equality test |
| CRelTestBnd< VA, ConstIntView > | Class for bounds-equality test (specialized) |
| CRelTestDom | Class for domain-equality test |
| CRelTestDom< VA, ConstIntView > | Class for domain-equality test (specialized) |
| CView | Base-class for element propagator for array of views |
| CViewBnd | Bounds consistent element propagator for array of views |
| CViewDom | Domain consistent element propagator for array of views |
| ►NExec | Synchronized execution |
| CWhen | Conditional propagator |
| ►NExtensional | Extensional propagators |
| CBase | Base for domain consistent extensional propagation |
| CBasic | Domain consistent extensional propagator |
| CGroupStates | GroupStates is used to index StateGroup by group |
| ►CIncremental | Domain consistent extensional propagator |
| CSupportEntry | Entry for storing support |
| CWork | Work stack |
| CWorkEntry | Description of work to be done |
| ►CLayeredGraph | Domain consistent layered graph (regular) propagator |
| CEdge | Edge defined by in-state and out-state |
| CIndex | Advisors for views (by position in array) |
| CIndexRange | Range approximation of which positions have changed |
| CLayer | Layer for a view in the layered graph |
| CLayerValues | Iterator for telling variable domains by scanning support |
| CState | States are described by number of incoming and outgoing edges |
| CSupport | Support information for a value |
| CStateGroup | Stategroup is used to compute a partition of states |
| CStateGroupByGroup | Sort groups stated by group and then state |
| CTransByI_State | Sort transition array by input state |
| CTransByO_State | Sort transition array by output state |
| CTransBySymbol | Sort transition array by symbol (value) |
| CTransBySymbolI_State | Sort transition array by symbol and then input states |
| CVarTraits | Traits class for variables |
| CVarTraits< BoolVar > | Traits class for variables |
| CVarTraits< IntVar > | Traits class for variables |
| ►NGCC | Global cardinality propagators (Counting) |
| CBnd | Bounds consistent global cardinality propagator |
| CCardConst | Constant view containing lower and upper cardinality bounds |
| CCardLess | Sort by increasing cardinality |
| CCardView | Cardinality integer view |
| CDom | Domain consistent global cardinality propagator |
| CEdge | Class for edges in the variable-value-graph |
| CHallInfo | Container class provding information about the Hall structure of the problem variables |
| CMaxInc | Compares two indices i, j of two views according to the ascending order of the views upper bounds |
| CMinIdx | Compares two cardinality views according to the index |
| CMinInc | Compares two indices i, j of two views according to the ascending order of the views lower bounds |
| CNode | Base class for nodes in the variable-value-graph |
| CPartialSum | Partial sum structure for constant time computation of the maximal capacity of an interval |
| CRank | Maps domain bounds to their position in hall[].bounds |
| CUnReachable | Class for computing unreachable values in the value GCC propagator |
| CVal | Value consistent global cardinality propagator |
| CValNode | Value node |
| CVarNode | Variable node |
| CVarValGraph | Variable-value-graph used during propagation |
| ►NLDSB | Symmetry breaking for integer variables |
| CLDSBBrancher | Symmetry-breaking brancher with generic view and value selection |
| CLDSBChoice | Choice storing position and value, and symmetric literals to be excluded on the right branch |
| CLiteral | A Literal is a pair of variable index and value |
| CSymmetryImp | Implementation of a single symmetry |
| CSymmetryObject | Implementation of a symmetry at the modelling level |
| CValueSequenceSymmetryImp | Implementation of a value sequence symmetry |
| CValueSequenceSymmetryObject | Implementation of a value sequence symmetry at the modelling level |
| CValueSymmetryImp | Implementation of a value symmetry |
| CValueSymmetryObject | Implementation of a value symmetry at the modelling level |
| CVariableMap | Map from variable implementation to index |
| CVariableSequenceSymmetryImp | Implementation of a variable sequence symmetry |
| CVariableSequenceSymmetryObject | Implementation of a variable sequence symmetry at the modelling level |
| CVariableSymmetryImp | Implementation of a variable symmetry |
| CVariableSymmetryObject | Implementation of a variable symmetry at the modelling level |
| ►NLinear | Linear propagators |
| CBoolNegTraits | Traits for Boolean negation view |
| CBoolNegTraits< BoolView > | Traits for Boolean negation view |
| CBoolNegTraits< NegBoolView > | Traits for Boolean negation view |
| CDomEq | Propagator for domain consistent n-ary linear equality |
| CEmptyScaleBoolArray | Empty array of scale Boolean views |
| CEq | Propagator for bounds consistent n-ary linear equality |
| CEqBin | Propagator for bounds consistent binary linear equality |
| CEqBoolInt | Propagator for integer equal to Boolean sum (cardinality) |
| CEqBoolScale | Propagator for equality to Boolean sum with coefficients |
| CEqBoolView | Propagator for equality to Boolean sum (cardinality) |
| CEqTer | Propagator for bounds consistent ternary linear equality |
| CGqBin | Propagator for bounds consistent binary linear greater or equal |
| CGqBoolInt | Propagator for integer less or equal to Boolean sum (cardinality) |
| CGqBoolView | Propagator for greater or equal to Boolean sum (cardinality) |
| CLin | Base-class for n-ary linear propagators |
| CLinBin | Base-class for binary linear propagators |
| CLinBoolInt | Baseclass for integer Boolean sum |
| CLinBoolScale | Base class for linear Boolean constraints with coefficients |
| CLinBoolView | Base-class for Boolean linear propagators |
| CLinTer | Base-class for ternary linear propagators |
| CLq | Propagator for bounds consistent n-ary linear less or equal |
| CLqBin | Propagator for bounds consistent binary linear less or equal |
| CLqBoolScale | Propagator for inequality to Boolean sum with coefficients |
| CLqTer | Propagator for bounds consistent ternary linear less or equal |
| CNegSupportIter | Support-based iterator for negative view |
| CNoView | No view serves as filler for empty view arrays |
| CNq | Propagator for bounds consistent n-ary linear disequality |
| CNqBin | Propagator for bounds consistent binary linear disequality |
| CNqBoolInt | Propagator for integer disequal to Boolean sum (cardinality) |
| CNqBoolScale | Propagator for disequality to Boolean sum with coefficients |
| CNqBoolView | Propagator for disequality to Boolean sum (cardinality) |
| CNqTer | Propagator for bounds consistent ternary linear disquality |
| CPosSupportIter | Support-based iterator for positive view |
| CReEq | Propagator for reified bounds consistent n-ary linear equality |
| CReEqBin | Propagator for reified bounds consistent binary linear equality |
| CReEqBoolInt | Propagator for reified integer equal to Boolean sum (cardinality) |
| CReGqBoolInt | Propagator for reified integer less or equal to Boolean sum (cardinality) |
| CReLin | Base-class for reified n-ary linear propagators |
| CReLinBin | Base-class for reified binary linear propagators |
| CReLinBoolInt | Baseclass for reified integer Boolean sum |
| CReLq | Propagator for reified bounds consistent n-ary linear less or equal |
| CReLqBin | Propagator for reified bounds consistent binary linear less or equal |
| CScaleBool | Coefficient and Boolean view |
| CScaleBoolArray | Array of scale Boolean views |
| CSupportIter | Base-class for support-based iterator |
| CSupportSet | Set for support information |
| CTerm | Class for describing linear term |
| CTermLess | Sort linear terms by view |
| ►NMember | Membership propagators |
| CProp | Membership propagator |
| CReProp | Reified membership propagator |
| ►NNoOverlap | No-overlap propagators |
| CBase | Base class for no-overlap propagator |
| CFixDim | Dimension combining coordinate and integer size information |
| CFlexDim | Dimension combining coordinate and integer view size information |
| CManBox | Mandatory box class |
| CManProp | No-overlap propagator for mandatory boxes |
| COptBox | Optional box class |
| COptProp | No-overlap propagator for optional boxes |
| ►NNValues | Number of values propagators |
| CBoolBase | Number of values propagator for Boolean views base class |
| CEqBool | Equal to number of values propagator for Boolean views |
| CEqInt | Equal to number of values propagator for integer views |
| CGqBool | Greater or equal to number of values propagator for Boolean views |
| CGqInt | Greater or equal to number of values propagator for integer views |
| CGraph | View-value graph for propagation of upper bound |
| CIntBase | Number of values propagator for integer views base class |
| CLqBool | Less or equal to number of values propagator for Boolean views |
| CLqInt | Less or equal to number of values propagator for integer views |
| CRangeEvent | Event for range-based overlap analysis |
| CSymBitMatrix | Symmetric diagonal bit matrix |
| ►NPrecede | Value precedence propagators |
| ►CSingle | Single value precedence propagator |
| CIndex | Advisors for views (by position in array) |
| ►NRel | Simple relation propagators |
| CEqBnd | Binary bounds consistent equality propagator |
| CEqDom | Binary domain consistent equality propagator |
| CLe | Less propagator |
| CLexLqLe | Lexical ordering propagator |
| CLexNq | Lexical disequality propagator |
| CLq | Less or equal propagator |
| CNaryEqBnd | N-ary bounds consistent equality propagator |
| CNaryEqDom | N-ary domain consistent equality propagator |
| ►CNaryLqLe | N-ary less and less or equal propagator |
| CIndex | Advisors for views (by position in array) |
| CPos | Positions in view array that have to be propagated |
| CNaryNq | Nary disequality propagator |
| CNq | Binary disequality propagator |
| CReEqBnd | Reified binary bounds consistent equality propagator |
| CReEqBndInt | Reified bounds consistent equality with integer propagator |
| CReEqDom | Reified binary domain consistent equality propagator |
| CReEqDomInt | Reified domain consistent equality with integer propagator |
| CReLq | Reified less or equal propagator |
| CReLqInt | Reified less or equal with integer propagator |
| ►NSequence | Sequence propagators |
| CSequence | Sequence propagator for array of integers |
| CSupportAdvisor | Class for advising the propagator |
| CViewValSupport | Class for view value support structure |
| CViewValSupportArray | An array of ViewValSupport data structures |
| CViolations | Simple bitsets for recording violations |
| ►NSorted | Sorted propagators |
| COfflineMin | Offline-Min datastructure Used to compute the perfect matching between the unsorted views x and the sorted views y |
| COfflineMinItem | Item used to construct the OfflineMin sequence |
| CRank | Storage class for mininmum and maximum of a variable |
| CSccComponent | Representation of a strongly connected component |
| CSorted | Bounds consistent sortedness propagator |
| CTupleMaxInc | Index comparison for ViewArray<Tuple> |
| CTupleMaxIncExt | Extended Index comparison for ViewArray<Tuple> |
| CTupleMinInc | View comparison on ViewTuples |
| CTupleMinIncExt | Extended view comparison on pairs of views |
| CViewPair | Pair of views |
| ►NUnary | Int for unary resources |
| CManFixPSETask | Unary (mandatory) task with fixed processing, start or end time |
| CManFixPTask | Unary (mandatory) task with fixed processing time |
| CManFlexTask | Unary (mandatory) task with flexible processing time |
| CManProp | Scheduling propagator for unary resource with mandatory tasks |
| COmegaLambdaNode | Node for an omega lambda tree |
| COmegaLambdaTree | Omega-lambda trees for computing ect of task sets |
| COmegaNode | Node for an omega tree |
| COmegaTree | Omega trees for computing ect of task sets |
| COptFixPSETask | Unary optional task with fixed processing, start or end time |
| COptFixPTask | Unary optional task with fixed processing time |
| COptFlexTask | Unary optional task with flexible processing time |
| COptProp | Scheduling propagator for unary resource with optional tasks |
| ►NUnshare | Unsharing shared variables |
| CVarPtrLess | Sort order for variables |
| ►NViewValGraph | Support classes for propagators using a view-value graph |
| CBiLink | Bidirectional links for edges and anchors in nodes of view-value graph |
| CCombPtrFlag | Class for combining two pointers with a flag |
| CEdge | Edges in view-value graph |
| CGraph | View-value graph base class |
| CIterPruneVal | Iterates the values to be pruned from a view node |
| CNode | Base-class for nodes (both view and value nodes) |
| CValNode | Value nodes in view-value graph |
| CViewNode | View nodes in view-value graph |
| CArgumentSame | Exception: Arguments contain same variable multiply |
| CArgumentSizeMismatch | Exception: Arguments are of different size |
| CBoolVarImp | Boolean variable implementation |
| CBoolVarImpBase | Base-class for Bool-variable implementations |
| CBoolVarImpConf | Configuration for Bool-variable implementations |
| CBoolView | Boolean view for Boolean variables |
| CCachedView | Cached integer view |
| CConstIntView | Constant integer view |
| CFwdToBwd | Task mapper: turns a task view into its dual |
| CIdxView | Class for pair of index and view |
| CIdxViewArray | An array of IdxView pairs |
| CIllegalOperation | Exception: Illegal operation passed as argument |
| CIntDelta | Integer delta information for advisors |
| ►CIntVarImp | Integer variable implementation |
| CRangeList | Lists of ranges (intervals) |
| CIntVarImpBase | Base-class for Int-variable implementations |
| CIntVarImpBwd | Backward iterator for ranges of integer variable implementations |
| CIntVarImpConf | Configuration for Int-variable implementations |
| CIntVarImpFwd | Range iterator for ranges of integer variable implementation |
| CIntView | Integer view for integer variables |
| CLDSBBadValueSelection | Exception: Value selection incompatible with LDSB |
| CLDSBUnbranchedVariable | Exception: Variable in symmetry not branched on |
| CManTaskViewIter | Allows to iterate over mandatory task views according to a specified order |
| CManToOptTask | Class to define an optional from a mandatory task |
| CMinusView | Minus integer view |
| CNegBoolView | Negated Boolean view |
| CNoOffset | Converter without offsets |
| CNotYetFinalized | Exception: Tuple set not yet finalized |
| CNotZeroOne | Exception: Not 0/1 integer |
| COffset | Converter with fixed offset |
| COffsetView | Offset integer view |
| COutOfLimits | Exception: Value out of limits |
| CReBinaryPropagator | Reified binary propagator |
| CReMixBinaryPropagator | Reified mixed binary propagator |
| CReUnaryPropagator | Reified unary propagator |
| CScaleView | Scale integer view (template) |
| CSortMap | Sorting maps rather than tasks |
| CStoEct | Sort by earliest completion times |
| CStoEst | Sort by earliest start times |
| CStoLct | Sort by latest completion times |
| CStoLst | Sort by latest start times |
| CSupportValues | Support value iterator and recorder |
| CTaskArray | Task array |
| CTaskProp | Propagator for tasks |
| CTaskTraits | Traits class for mapping tasks to task views |
| CTaskTraits< Cumulative::ManFixPSETask > | Task traits for mandatory fixed tasks |
| CTaskTraits< Cumulative::ManFixPTask > | Task traits for mandatory fixed tasks |
| CTaskTraits< Cumulative::ManFlexTask > | Task traits for mandatory flexible tasks |
| CTaskTraits< Cumulative::OptFixPSETask > | Task traits for optional fixed tasks |
| CTaskTraits< Cumulative::OptFixPTask > | Task traits for optional fixed tasks |
| CTaskTraits< Cumulative::OptFlexTask > | Task traits for optional flexible tasks |
| CTaskTraits< Unary::ManFixPSETask > | Task traits for mandatory fixed tasks |
| CTaskTraits< Unary::ManFixPTask > | Task traits for mandatory fixed tasks |
| CTaskTraits< Unary::ManFlexTask > | Task traits for mandatory flexible tasks |
| CTaskTraits< Unary::OptFixPSETask > | Task traits for optional fixed tasks |
| CTaskTraits< Unary::OptFixPTask > | Task traits for optional fixed tasks |
| CTaskTraits< Unary::OptFlexTask > | Task traits for optional flexible tasks |
| CTaskTree | Task trees for task views with node type Node |
| CTaskViewArray | Task view array |
| CTaskViewIter | Allows to iterate over task views according to a specified order |
| CTaskViewTraits | Traits class for mapping task views to tasks |
| CTaskViewTraits< Cumulative::ManFixPSETaskBwd > | Task view traits for backward task views |
| CTaskViewTraits< Cumulative::ManFixPSETaskFwd > | Task view traits for forward task views |
| CTaskViewTraits< Cumulative::ManFixPTaskBwd > | Task view traits for backward task views |
| CTaskViewTraits< Cumulative::ManFixPTaskFwd > | Task view traits for forward task views |
| CTaskViewTraits< Cumulative::ManFlexTaskBwd > | Task view traits for backward task views |
| CTaskViewTraits< Cumulative::ManFlexTaskFwd > | Task view traits for forward task views |
| CTaskViewTraits< Cumulative::OptFixPSETaskBwd > | Task view traits for backward task views |
| CTaskViewTraits< Cumulative::OptFixPSETaskFwd > | Task view traits for forward optional task views |
| CTaskViewTraits< Cumulative::OptFixPTaskBwd > | Task view traits for backward task views |
| CTaskViewTraits< Cumulative::OptFixPTaskFwd > | Task view traits for forward optional task views |
| CTaskViewTraits< Cumulative::OptFlexTaskBwd > | Task view traits for backward task views |
| CTaskViewTraits< Cumulative::OptFlexTaskFwd > | Task view traits for forward optional task views |
| CTaskViewTraits< Unary::ManFixPSETaskBwd > | Task view traits for backward task views |
| CTaskViewTraits< Unary::ManFixPSETaskFwd > | Task view traits for forward task views |
| CTaskViewTraits< Unary::ManFixPTaskBwd > | Task view traits for backward task views |
| CTaskViewTraits< Unary::ManFixPTaskFwd > | Task view traits for forward task views |
| CTaskViewTraits< Unary::ManFlexTaskBwd > | Task view traits for backward task views |
| CTaskViewTraits< Unary::ManFlexTaskFwd > | Task view traits for forward task views |
| CTaskViewTraits< Unary::OptFixPSETaskBwd > | Task view traits for backward task views |
| CTaskViewTraits< Unary::OptFixPSETaskFwd > | Task view traits for forward optional task views |
| CTaskViewTraits< Unary::OptFixPTaskBwd > | Task view traits for backward task views |
| CTaskViewTraits< Unary::OptFixPTaskFwd > | Task view traits for forward optional task views |
| CTaskViewTraits< Unary::OptFlexTaskBwd > | Task view traits for backward task views |
| CTaskViewTraits< Unary::OptFlexTaskFwd > | Task view traits for forward optional task views |
| CTooFewArguments | Exception: Too few arguments available in argument array |
| CUnknownBranching | Exception: Unknown value or variable selection passed as argument |
| CUnknownOperation | Exception: Unknown operation passed as argument |
| CUnknownReifyMode | Exception: Unknown reification mode passed as argument |
| CUnknownRelation | Exception: Unknown relation passed as argument |
| CValOfUnassignedVar | Exception: Attempt to access value of unassigned variable |
| ►CValSet | Class for storing values of already assigned views |
| CRanges | Iterator over ranges |
| CVariableEmptyDomain | Exception: Variable created with empty domain |
| CViewDiffRanges | Range iterator for cached integer views |
| CViewRanges | Range iterator for integer views |
| CViewRanges< BoolView > | Range iterator for Boolean variable views |
| CViewRanges< CachedView< View > > | Range iterator for offset integer views |
| CViewRanges< ConstIntView > | Range iterator for constant integer views |
| CViewRanges< GCC::CardView > | Range iterator for indexed problem variables |
| CViewRanges< IntScaleView > | Range iterator for integer-precision scale integer views |
| CViewRanges< IntView > | Range iterator for integer variable views |
| CViewRanges< LLongScaleView > | Range iterator for long long int-precision scale integer views |
| CViewRanges< MinusView > | Range iterator for minus integer views |
| CViewRanges< NegBoolView > | Range iterator for negated Boolean variable views |
| CViewRanges< OffsetView > | Range iterator for offset integer views |
| CViewRanges< ZeroIntView > | Range iterator for constant integer views |
| CViewToVarArg | Class to map VarArg type to view |
| CViewToVarArg< BoolView > | VarArg type for Boolean views |
| CViewToVarArg< Gecode::Set::ConstSetView > | VarArg type for constant Set views |
| CViewToVarArg< Gecode::Set::SetView > | VarArg type for Set views |
| CViewToVarArg< Gecode::Set::SingletonView > | VarArg type for singleton views |
| CViewToVarArg< IntView > | VarArg type for integer views |
| CViewToVarArg< MinusView > | VarArg type for minus views |
| CViewValues | Value iterator for integer views |
| CZeroIntView | Zero integer view |
| ►NIter | Range and value iterators |
| ►NRanges | Range iterators |
| CAddRange | Range iterator for adding a single range to a range iterator |
| CAppend | Range iterator for appending two range iterators |
| ►CArray | Range iterator for array of ranges |
| CRange | Ranges for array |
| CCache | Range iterator cache |
| CCompl | Range iterator for computing the complement (described by template arguments) |
| CComplVal | Range iterator for computing the complement (described by values) |
| CDiff | Range iterator for computing set difference |
| CEmpty | Range iterator for empty range |
| CInter | Range iterator for computing intersection (binary) |
| CMap | Range iterator for mapping ranges |
| CMap< I, M, false > | Specialized mapping of ranges for non-strict maps |
| CMap< I, M, true > | Specialized mapping of ranges for strict maps |
| CMinMax | Base for range iterators with explicit min and max |
| CMinus | Range iterator for pointwise minus of a range iterator |
| CNaryAppend | Range iterator for appending arbitrarily many iterators |
| CNaryInter | Range iterator for intersection of iterators |
| CNaryUnion | Range iterator for union of iterators |
| CNegative | Range iterator for negative part of a range iterator |
| COffset | Range iterator for pointwise offset (by some constant) |
| CPositive | Range iterator for positive part of a range iterator |
| CRangeList | Range iterator for range lists |
| ►CRangeListIter | Iterator over range lists |
| CRangeList | Range list class |
| CRLIO | Shared object for allocation |
| CScaleDown | Range iterator for pointwise division by a positive integer |
| CScaleUp | Range iterator for pointwise product with a positive integer |
| CSingleton | Range iterator for singleton range |
| CSingletonAppend | Range iterator for appending a singleton with a range iterator |
| CSize | Range iterator with size counting |
| CSubRange | Range iterator for subtracting a single range from a range iterator |
| CToValues | Value iterator from range iterator |
| CUnion | Range iterator for computing union (binary) |
| ►NValues | Value iterators |
| CArray | Value iterator for array of integers |
| CBitSet | Value iterator for values in a bitset |
| CBitSetOffset | Value iterator for values in an offset bitset |
| CInter | Value iterator for the intersection of two value iterators |
| CMap | Value iterator for mapping values of a value iterator |
| CMinus | Value iterator for pointwise minus of a value iterator |
| CNegative | Value iterator for selecting only negative values |
| COffset | Value iterator for pointwise offset (by some constant) |
| CPositive | Value iterator for selecting only positive values |
| CSingleton | Value iterator for single value |
| CToRanges | Range iterator from value iterator |
| CUnion | Value iterator for the union of two value iterators |
| CUnique | Remove duplicate values from from value iterator |
| ►CValueListIter | Iterator over value lists |
| CValueList | Value list class |
| CVLIO | Shared object for allocation |
| ►NKernel | Kernel functionality |
| CNaryWait | Wait propagator for several views |
| CUnaryWait | Wait propagator for single view |
| ►NMiniModel | Minimalistic modeling support |
| CArgumentOutOfRange | Exception: Argument out of range |
| CArgumentSizeMismatch | Exception: Sizes of arguments does not match |
| CArithNonLinFloatExpr | Non-linear float arithmetic expressions |
| CArithNonLinIntExpr | Non-linear arithmetic expressions over integer variables |
| CExpInfo | Expression information |
| CFinalBag | For collecting final states while constructing a DFA |
| CNodeInfo | Node information computed during traversal of the expressions |
| CPosInfo | Information on positions collected during traversal |
| CPosSet | Sets of positions |
| CSetNonLinIntExpr | Integer valued set expressions |
| CStateNode | Node together with state information |
| CStatePool | State pool combines a tree of states together with yet unprocessed states |
| CSymbolsInc | Sort symbols |
| CTooFewArguments | Exception: Too few arguments available in argument array |
| CTransitionBag | For collecting transitions while constructing a DFA |
| ►NSearch | Search engines |
| ►NMeta | Meta search engine implementations |
| CNoGoodsProp | No-good propagator |
| CNoNGL | Class for a sentinel no-good literal |
| CRBS | Engine for restart-based search |
| CRestartStop | Stop-object for restart engine |
| ►NParallel | Parallel search engine implementations |
| ►CBAB | Parallel branch-and-bound engine |
| CWorker | Parallel branch-and-bound search worker |
| ►CDFS | Parallel depth-first search engine |
| CWorker | Parallel depth-first search worker |
| ►CEngine | Parallel depth-first search engine |
| CWorker | Parallel depth-first search worker |
| ►CPath | Depth-first path (stack of edges) supporting recomputation |
| CEdge | Search tree edge for recomputation |
| ►NSequential | Sequential search engine implementations |
| CBAB | Implementation of depth-first branch-and-bound search engine |
| CDFS | Depth-first search engine implementation |
| ►CPath | Depth-first path (stack of edges) supporting recomputation |
| CEdge | Search tree edge for recomputation |
| CCutoff | Base class for cutoff generators for restart-based meta engine |
| CCutoffAppend | Cutoff generator appending two cutoff generators |
| CCutoffConstant | Cutoff generator for constant sequence |
| CCutoffGeometric | Cutoff generator for the geometric sequence |
| CCutoffLinear | Cutoff generator for linear sequence |
| CCutoffLuby | Cutoff generator for the Luby sequence |
| CCutoffMerge | Cutoff generator merging two cutoff generators |
| CCutoffRandom | Cutoff generator for the random sequence |
| CCutoffRepeat | Cutoff generator that repeats a cutoff from another cutoff generator |
| CEngine | Search engine implementation interface |
| CEngineBase | Base-class for search engines |
| CFailStop | Stop-object based on number of failures |
| CNodeStop | Stop-object based on number of nodes |
| COptions | Search engine options |
| CStatistics | Search engine statistics |
| CStop | Base-class for Stop-object |
| CTimeStop | Stop-object based on time |
| CUninitializedCutoff | Exception: Uninitialized cutoff for restart-based search |
| CWorker | Search worker statistics |
| CWorkerToEngine | Virtualize a worker to an engine |
| ►NSet | Finite integer sets |
| ►NBranch | Set branchings |
| CExcNGL | No-good literal for exclusion |
| CIncNGL | No-good literal for inclusion |
| CMeritActivitySize | Merit class for size over activity |
| CMeritAFCSize | Merit class for size over afc |
| CMeritDegreeSize | Merit class for size over degree |
| CMeritMax | Merit class for maximum of set view |
| CMeritMin | Merit class for mimimum of set views |
| CMeritSize | Merit class for size of set view |
| CValCommitExc | Value commit class for exclusion |
| CValCommitInc | Value commit class for inclusion |
| CValSelMax | Value selection class for maximum of view |
| CValSelMed | Value selection class for median of view |
| CValSelMin | Value selection class for mimimum of view |
| CValSelRnd | Value selection class for random value of view |
| ►NChannel | Channeling propagators for set variables |
| ►CChannelBool | Propagator for channelling between set variable and its characteristic function |
| CIndexAdvisor | Advisor storing a single index |
| CChannelInt | Propagator for channelling between variable-value-dual models |
| CChannelSet | Propagator for successors/predecessors channelling |
| CChannelSorted | Propagator for the sorted channel constraint |
| ►NConvex | Propagators for convexity |
| CConvex | Propagator for the convex constraint |
| CConvexHull | Propagator for the convex hull constraint |
| ►NDistinct | Propagators for global distinctness constraints |
| CAtmostOne | Propagator for the AtMostOneIntersection constraint |
| ►NElement | Set element propagators |
| CElementDisjoint | Propagator for element with disjointness |
| CElementIntersection | Propagator for element with intersection |
| CElementUnion | Propagator for element with union |
| CElementUnionConst | Propagator for element with union of constant sets |
| ►NInt | Propagators connecting set and int variables |
| CCard | Propagator for cardinality |
| CIntLess | Sort order for integers |
| CMaxElement | Propagator for maximum element |
| CMinElement | Propagator for minimum element |
| CNotMaxElement | Propagator for not maximum element |
| CNotMinElement | Propagator for not minimum element |
| COverweightValues | Value Iterator for values above a certain weight |
| CReMaxElement | Reified propagator for maximum element |
| CReMinElement | Propagator for reified minimum element |
| CWeights | Propagator for weight of a set |
| ►NLDSB | Symmetry breaking for set variables |
| CLDSBSetBrancher | Symmetry-breaking brancher with generic view and value selection |
| CVariableMap | Map from variable implementation to index |
| ►NPrecede | Value precedence propagators |
| ►CSingle | Single value precedence propagator |
| CIndex | Advisors for views (by position in array) |
| ►NRel | Standard set relation propagators |
| ►CCharacteristicSets | Representation of the characteristic functions of two sets |
| CCSIter | Value iterator for characteristic function |
| CDistinct | Propagator for negated equality |
| CDistinctDoit | Propagator for negated equality |
| CEq | Propagator for set equality |
| CLq | Propagator for set less than or equal |
| CNoSubset | Propagator for the negated subset constraint |
| CReEq | Reified equality propagator |
| CReLq | Reified propagator for set less than or equal |
| CReSubset | Reified subset propagator |
| CSubset | Propagator for the subset constraint |
| ►NRelOp | Standard set operation propagators |
| CIntersection | Propagator for ternary intersection |
| CIntersectionN | Propagator for nary intersection |
| CPartitionN | Propagator for nary partition |
| CSubOfUnion | Propagator for the subset of union |
| CSuperOfInter | Propagator for the superset of intersection |
| CUnion | Propagator for ternary union |
| CUnionN | Propagator for nary union |
| ►NSequence | Propagators for ordered sequences of sets |
| CSeq | Propagator for the sequence constraint |
| CSeqU | Propagator for the sequenced union constraint |
| CArgumentSizeMismatch | Exception: Arguments are of different size |
| CArrayRanges | Range iterator for a two-dimensional array |
| CBndSet | Sets of integers |
| CBndSetRanges | Range iterator for integer sets |
| CCachedView | Cached set view |
| CComplementView | Complement set view |
| CConstSetView | Constant view |
| CEmptyView | Constant view for the empty set |
| CGlbDiffRanges | Range iterator for difference of greatest lower bound and cache |
| CGLBndSet | Growing sets of integers |
| CGlbRanges | Range iterator for the greatest lower bound |
| CGlbRanges< CachedView< View > > | Range iterator for greatest lower bound of cached set views |
| CGlbRanges< ComplementView< ComplementView< View > > > | Range iterator for the greatest lower bound of double-complement-views |
| CGlbRanges< ComplementView< View > > | Range iterator for greatest lower bound of complement set views |
| CGlbRanges< ConstSetView > | Range iterator for greatest lower bound of constant set view |
| CGlbRanges< EmptyView > | Range iterator for greatest lower bound of constantly empty set view |
| CGlbRanges< SetVarImp * > | Range iterator for the greatest lower bound of a set variable implementation |
| CGlbRanges< SetView > | Range iterator for greatest lower bound of set variable views |
| CGlbRanges< SingletonView > | Range iterator for greatest lower bound of singleton set view |
| CGlbRanges< UniverseView > | Range iterator for greatest lower bound of constant universe set view |
| CIllegalOperation | Exception: Illegal operation passed as argument |
| CLubDiffRanges | Range iterator for difference of least upper bound and cache |
| CLUBndSet | Shrinking sets of integers |
| CLubRanges | Range iterator for the least upper bound |
| CLubRanges< CachedView< View > > | Range iterator for least upper bound of cached set views |
| CLubRanges< ComplementView< ComplementView< View > > > | Range iterator for the least upper bound of double-complement-views |
| CLubRanges< ComplementView< View > > | Range iterator for least upper bound of complement set views |
| CLubRanges< ConstSetView > | Range iterator for least upper bound of constant set view |
| CLubRanges< EmptyView > | Range iterator for least upper bound of constantly empty set view |
| CLubRanges< SetVarImp * > | Range iterator for the least upper bound of a set variable implementation |
| CLubRanges< SetView > | Range iterator for least upper bound of set variable views |
| CLubRanges< SingletonView > | Range iterator for least upper bound of singleton set view |
| CLubRanges< UniverseView > | Range iterator for least upper bound of constant universe set view |
| COutOfLimits | Exception: Value out of limits |
| CRangesCompl | A complement iterator spezialized for the BndSet limits |
| CSetDelta | Finite set delta information for advisors |
| CSetVarImp | Finite integer set variable implementation |
| CSetVarImpBase | Base-class for Set-variable implementations |
| CSetVarImpConf | Configuration for Set-variable implementations |
| CSetView | Set view for set variables |
| CSingletonView | Singleton set view |
| CTooFewArguments | Exception: No arguments available in argument array |
| CUniverseView | Constant view for the universe |
| CUnknownBranching | Exception: Unknown value or variable selection passed as argument |
| CUnknownOperation | Exception: Unknown operation type passed as argument |
| CUnknownRanges | Range iterator for the unknown set |
| CUnknownRelation | Exception: Unknown relation type passed as argument |
| CVariableEmptyDomain | Exception: Variable created with empty domain |
| ►NSupport | Support algorithms and datastructures |
| CBitSet | Simple bitsets |
| CBitSetBase | Basic bitset support |
| CBitSetData | Date item for bitsets |
| CBitSetOffset | Bitsets with index offset |
| CBlockAllocator | Manage memory organized into block lists (allocator) |
| CBlockClient | Client for block allocator of type T |
| CDynamicArray | Array with arbitrary number of elements |
| CDynamicQueue | Queue with arbitrary number of elements |
| CDynamicStack | Stack with arbitrary number of elements |
| CEvent | An event for synchronization |
| CIntTypeTraits | Traits to for information about integer types |
| CIntTypeTraits< signed char > | Traits for signed char |
| CIntTypeTraits< signed int > | Traits for signed integer |
| CIntTypeTraits< signed short int > | Traits for signed short int |
| CIntTypeTraits< unsigned char > | Traits for unsigned char |
| CIntTypeTraits< unsigned int > | Traits for unsigned integer |
| CIntTypeTraits< unsigned short int > | Traits for unsigned short int |
| CLess | Comparison class for sorting using < |
| CLinearCongruentialGenerator | Template for linear congruential generators |
| CLock | A lock as a scoped frontend for a mutex |
| CMutex | A mutex for mutual exclausion among several threads |
| CQuickSortStack | Static stack for quicksort |
| CRawBitSetBase | Basic bitset support (without stored size information) |
| CRunnable | An interface for objects that can be run by a thread |
| CStaticStack | Stack with fixed number of elements |
| ►CThread | Simple threads |
| CRun | A real thread |
| CTimer | Timer |
| ►CActivity | Class for activity management |
| ►CRecorder | Propagator for recording activity information |
| CIdx | Advisor with index and change information |
| CStorage | Object for storing activity values |
| CActivityWrongArity | Exception: activity has wrong arity |
| CActor | Base-class for both propagators and branchers |
| CActorLink | Double-linked list for actors |
| CAdvisor | Base-class for advisors |
| CAdvisors | Class to iterate over advisors of a council |
| CAFC | Class for AFC (accumulated failure count) management |
| CAFCWrongArity | Exception: AFC has wrong arity |
| CAllVarConf | Configuration for all variable implementations |
| CArchive | Archive representation |
| CArgArray | Argument array for non-primitive types |
| CArgArrayBase | Base-class for argument arrays |
| CArrayTraits | Traits of arrays in Gecode |
| CArrayTraits< ArgArray< IntSet > > | Traits of IntSetArgs |
| CArrayTraits< ArgArray< SymmetryHandle > > | Traits of Symmetries |
| CArrayTraits< ArgArray< VarImpBase * > > | Traits of ArgArray<VarImpBase*> |
| CArrayTraits< BoolVarArgs > | Traits of BoolVarArgs |
| CArrayTraits< BoolVarArray > | Traits of BoolVarArray |
| CArrayTraits< FloatValArgs > | Traits of FloatValArgs |
| CArrayTraits< FloatVarArgs > | Traits of FloatVarArgs |
| CArrayTraits< FloatVarArray > | Traits of FloatVarArray |
| CArrayTraits< IntArgs > | Traits of IntArgs |
| CArrayTraits< IntVarArgs > | Traits of IntVarArgs |
| CArrayTraits< IntVarArray > | Traits of IntVarArray |
| CArrayTraits< LiteralArgs > | Traits of LiteralArgs |
| CArrayTraits< PrimArgArray< FloatVal > > | Traits of FloatValArgs |
| CArrayTraits< PrimArgArray< int > > | Traits of IntArgs |
| CArrayTraits< PrimArgArray< TaskType > > | Traits of TaskTypeArgs |
| CArrayTraits< SetVarArgs > | Traits of SetVarArgs |
| CArrayTraits< SetVarArray > | Traits of SetVarArray |
| CArrayTraits< VarArgArray< BoolVar > > | Traits of BoolVarArgs |
| CArrayTraits< VarArgArray< FloatVar > > | Traits of FloatVarArgs |
| CArrayTraits< VarArgArray< IntVar > > | Traits of IntVarArgs |
| CArrayTraits< VarArgArray< SetVar > > | Traits of VarArgArray<SetVar> |
| CArrayTraits< VarArray< BoolVar > > | Traits of BoolVarArray |
| CArrayTraits< VarArray< FloatVar > > | Traits of FloatVarArray |
| CArrayTraits< VarArray< IntVar > > | Traits of IntVarArray |
| CArrayTraits< VarArray< SetVar > > | Traits of VarArray<SetVar> |
| CBAB | Depth-first branch-and-bound search engine |
| CBaseOptions | Base class for script options |
| CBElementExpr | Boolean element expressions |
| CBinaryPropagator | Binary propagator |
| ►CBoolExpr | Boolean expressions |
| CMiscExpr | Miscealloneous Boolean expressions |
| CNode | Node for Boolean expression |
| CBoolVar | Boolean integer variables |
| CBoolVarArgs | Passing Boolean variables |
| CBoolVarArray | Boolean variable array |
| CBrancher | Base-class for branchers |
| CBrancherHandle | Handle for brancher |
| CBranchTraits | Traits for branching |
| CBranchTraits< BoolVar > | Traits of BoolVar for branching |
| CBranchTraits< FloatVar > | Traits of FloatVar for branching |
| CBranchTraits< IntVar > | Traits of IntVar for branching |
| CBranchTraits< SetVar > | Traits of SetVar for branching |
| CChoice | Choice for performing commit |
| CChooseMax | Choose views with larger merit values |
| CChooseMin | Choose views with smaller merit values |
| CCloneStatistics | Statistics for execution of clone |
| CCommitStatistics | Statistics for execution of commit |
| CConstView | Base-class for constant views |
| CCouncil | Council of advisors |
| CCRI | Current restart information during search |
| CDelta | Generic domain change information to be supplied to advisors |
| CDerivedView | Base-class for derived views |
| ►CDFA | Deterministic finite automaton (DFA) |
| ►CDFAI | Data stored for a DFA |
| CHashEntry | Specification of transition range |
| CSymbols | Iterator for DFA symbols |
| CTransition | Specification of a DFA transition |
| CTransitions | Iterator for DFA transitions (sorted by symbols) |
| CDFS | Depth-first search engine |
| CDynamicCastFailed | Exception: dynamic cast failed |
| CException | Exception: Base-class for exceptions |
| CFloatActivity | Recording activities for float variables |
| CFloatAFC | Recording AFC information for float variables |
| CFloatAssign | Which values to select for assignment |
| CFloatMaximizeSpace | Class for maximizing float cost |
| CFloatMinimizeSpace | Class for minimizing float cost |
| CFloatNumBranch | Value description class for branching |
| CFloatVal | Float value type |
| CFloatValArgs | Passing float arguments |
| CFloatValBranch | Which values to select for branching first |
| CFloatVar | Float variables |
| CFloatVarArgs | Passing float variables |
| CFloatVarArray | Float variable array |
| CFloatVarBranch | Which variable to select for branching |
| CFreeList | Base-class for freelist-managed objects |
| ►CFunctionBranch | Brancher for calling a function |
| CDescription | Minimal brancher description storing no information |
| ►CGlobalAFC | Globally shared object for propagator information |
| CCounter | Class for storing timed-decay value |
| CHeap | Heap memory management class |
| CHeapChunk | Memory chunk allocated from heap with proper alignment |
| CHome | Home class for posting propagators |
| CIllegalDecay | Exception: illegal decay factor |
| CInstanceOptions | Options for scripts with additional instance parameter |
| CIntActivity | Recording activities for integer and Boolean variables |
| CIntAFC | Recording AFC information for integer and Boolean variables |
| CIntArgs | Passing integer arguments |
| CIntAssign | Which values to select for assignment |
| CIntMaximizeSpace | Class for maximizing integer cost |
| CIntMinimizeSpace | Class for minimizing integer cost |
| ►CIntSet | Integer sets |
| CMinInc | Sort ranges according to increasing minimum |
| CIntSetInit | Integer set initialization |
| CIntSetInit< IntArgs > | Initialize integer set with integer arguments |
| CIntSetInit< IntSet > | Initialize integer set with integer set |
| CIntSetRanges | Range iterator for integer sets |
| CIntSetValues | Value iterator for integer sets |
| CIntValBranch | Which values to select for branching first |
| CIntVar | Integer variables |
| CIntVarArgs | Passing integer variables |
| CIntVarArray | Integer variable array |
| CIntVarBranch | Which variable to select for branching |
| CIntVarRanges | Range iterator for integer variables |
| CIntVarValues | Value iterator for integer variables |
| ►CLinFloatExpr | Float expressions |
| CNode | Nodes for linear expressions |
| CLinFloatRel | Linear relations |
| ►CLinIntExpr | Linear expressions over integer variables |
| CNode | Nodes for linear expressions |
| CLinIntRel | Linear relations over integer variables |
| CLocalHandle | Handles for local (space-shared) objects |
| CLocalObject | Local (space-shared) object |
| CMatrix | Matrix-interface for arrays |
| CMemoryChunk | Memory chunk with size information |
| CMemoryExhausted | Exception: Memory exhausted |
| CMemoryManager | Manage memory for space |
| CMeritActivity | Merit class for activity |
| CMeritAFC | Merit class for AFC |
| CMeritBase | Base-class for merit class |
| CMeritDegree | Merit class for degree |
| CMeritFunction | Merit class for user-defined merit function |
| CMixBinaryPropagator | Mixed binary propagator |
| CMixNaryOnePropagator | Mixed (n+1)-ary propagator |
| CMixTernaryPropagator | Mixed ternary propagator |
| CNaryOnePropagator | (n+1)-ary propagator |
| CNaryPropagator | N-ary propagator |
| CNGL | No-good literal recorded during search |
| CNoGoods | No-goods recorded from restarts |
| CNoIdxVarImpConf | Configuration class for variable implementations without index structure |
| CNonLinFloatExpr | Base class for non-linear float expressions |
| CNonLinIntExpr | Base class for non-linear expressions over integer variables |
| COperatingSystemError | Exception: operating system error |
| COptions | Options for scripts |
| CPos | Position information |
| CPosChoice | Choices storing position |
| CPosValChoice | Choice storing position and value |
| CPrimArgArray | Argument array for primtive types |
| CPropagator | Base-class for propagators |
| CPropCost | Propagation cost |
| CRangeList | Lists of ranges (intervals) |
| CRBS | Meta-engine performing restart-based search |
| ►CREG | Regular expressions over integer values |
| CExp | Implementation of the actual expression tree |
| CRegion | Handle to region |
| ►Cregion_allocator | Allocator that allocates memory from a region |
| Crebind | Rebinding helper (returns the type of a similar allocator for type U) |
| ►Cregion_allocator< void > | Region allocator - specialization for void |
| Crebind | Rebinding helper (returns the type of a similar allocator for type U) |
| CReify | Reification specification |
| CRnd | Random number generator |
| CSetActivity | Recording activities for set variables |
| CSetAFC | Recording AFC information for set variables |
| CSetAssign | Which value to select for assignment |
| CSetCmpRel | Comparison relation (for two-sided comparisons) |
| ►CSetExpr | Set expressions |
| CNode | Node for set expression |
| CSetRel | Set relations |
| CSetValBranch | Which values to select for branching first |
| CSetVar | Set variables |
| CSetVarArgs | Passing set variables |
| CSetVarArray | Set variable array |
| CSetVarBranch | Which variable to select for branching |
| CSetVarGlbRanges | Iterator for the greatest lower bound ranges of a set variable |
| CSetVarGlbValues | Iterator for the values in the greatest lower bound of a set variable |
| CSetVarLubRanges | Iterator for the least upper bound ranges of a set variable |
| CSetVarLubValues | Iterator for the values in the least upper bound of a set variable |
| CSetVarUnknownRanges | Iterator for the unknown ranges of a set variable |
| CSetVarUnknownValues | Iterator for the values in the unknown set of a set variable |
| ►CSharedArray | Shared array with arbitrary number of elements |
| CSAO | Implementation of object for shared arrays |
| ►CSharedHandle | The shared handle |
| CObject | The shared object |
| CSharedMemory | Shared object for several memory areas |
| CSizeOptions | Options for scripts with additional size parameter |
| CSlice | A slice of a matrix |
| ►CSpace | Computation spaces |
| CBranchers | Class to iterate over branchers of a space |
| CPropagators | Class to iterate over propagators of a space |
| ►Cspace_allocator | Allocator that allocates memory from a space heap |
| Crebind | Rebinding helper (returns the type of a similar allocator for type U) |
| ►Cspace_allocator< void > | Space allocator - specialization for void |
| Crebind | Rebinding helper (returns the type of a similar allocator for type U) |
| CSpaceFailed | Exception: Operation on failed space invoked |
| CSpaceIllegalAlternative | Exception: Commit with illegal alternative |
| CSpaceNoBrancher | Exception: Commit when no brancher present |
| CSpaceNotCloned | Exception: Copy constructor did not call base class copy constructor |
| CSpaceNotStable | Exception: Operation on not stable space invoked |
| CStatusStatistics | Statistics for execution of status |
| CSymmetries | Collection of symmetries |
| CSymmetryHandle | A reference-counted pointer to a SymmetryObject |
| CTernaryPropagator | Ternary propagator |
| CTieBreak | Combine variable selection criteria for tie-breaking |
| CTooManyBranchers | Exception: too many branchers |
| ►CTupleSet | Class represeting a set of tuples |
| CTupleSetI | Data stored for a Table |
| CUnaryPropagator | Unary propagator |
| CUninitializedActivity | Exception: uninitialized activity |
| CUninitializedAFC | Exception: uninitialized AFC |
| CUninitializedRnd | Exception: uninitialized random number generator |
| CValBranch | Value branching information |
| CValCommit | Base class for value commit |
| CValCommitFunction | Class for user-defined value commit |
| CValSel | Base class for value selection |
| CValSelCommit | Class for value selection and commit |
| CValSelCommitBase | Base class for value selection and commit |
| CValSelFunction | User-defined value selection |
| CVar | Base class for variables |
| ►CVarArgArray | Argument array for variables |
| CVarLess | Sort order for variables |
| CVarArray | Variable arrays |
| CVarBranch | Variable branching information |
| CVarImp | Base-class for variable implementations |
| CVarImpBase | Base-class for variable implementations |
| CVarImpDisposer | Variable implementation disposer |
| CVarImpDisposerBase | Base class for Variable type disposer |
| CVarImpVar | Variables as interfaces to variable implementations |
| CVarImpView | Base-class for variable implementation views |
| CViewAdvisor | Advisor storing a single view |
| CViewArray | View arrays |
| CViewArray< Int::Linear::NoView > | View array for no view (empty) |
| CViewBrancher | Generic brancher by view selection |
| CViewSel | Abstract class for view selection |
| CViewSelChoose | Choose view according to merit |
| CViewSelChooseTbl | Choose view according to merit taking tie-break limit into account |
| CViewSelMax | Select view with largest merit |
| CViewSelMaxTbl | Select view with largest merit taking tie-break limit into account |
| CViewSelMin | Select view with least merit |
| CViewSelMinTbl | Select view with least merit taking tie-break limit into account |
| CViewSelNone | Select the first unassigned view |
| CViewSelRnd | Select a view randomly |
| CViewValBrancher | Generic brancher by view and value selection |
| CViewValNGL | View-value no-good literal |
| ►NTest | General test support |
| ►NArray | Tests for arrays |
| CIterator | Base class for testing iterators |
| CSharedArrayIterator | Class for testing the SharedArray iterator |
| CTestSpace | Test space |
| CVarArgsIterator | Class for testing the VarArgs iterator |
| CVarArrayIterator | Class for testing the VarArray iterator |
| CViewArrayIterator | Class for testing the ViewArray iterator |
| ►NAssign | Tests for assignments |
| CBool | Test branching with distinct propagator |
| CBoolTest | Base class for tests for branching on Boolean variables |
| CBoolTestSpace | Space for executing Boolean tests |
| CFloat | Test assignment with distinct propagator |
| CFloatTest | Base class for tests for branching on float variables |
| CFloatTestSpace | Space for executing Boolean tests |
| CInt | Test assignment with distinct propagator |
| CIntTest | Base class for tests for assigning integer variables |
| CIntTestSpace | Space for executing integer tests |
| CSet | Test assignment with disjoint union propagator |
| CSetTest | Base class for tests for branching on set variables |
| CSetTestSpace | Space for executing Boolean tests |
| ►NBranch | Tests for branchings |
| CBool | Test brancher with distinct propagator |
| CBoolTest | Base class for tests for branching on Boolean variables |
| CBoolTestSpace | Space for executing Boolean tests |
| CFloat | Test brancher with distinct propagator |
| CFloatTest | Base class for tests for branching on float variables |
| CFloatTestSpace | Space for executing Float tests |
| CInt | Test brancher with distinct propagator |
| CIntTest | Base class for tests for branching on integer variables |
| CIntTestSpace | Space for executing integer tests |
| CRunInfo | Information about one test-run |
| CSet | Test brancher |
| CSetTest | Base class for tests for branching on set variables |
| CSetTestSpace | Space for executing Boolean tests |
| ►NFlatZinc | Tests for FlatZinc |
| CFlatZincTest | Base class for tests for FlatZinc |
| ►NFloat | Testing domain floats |
| ►NArithmetic | Tests for arithmetic constraints |
| CAbsXX | Test for absolute value constraint with shared variables |
| CAbsXY | Test for absolute value constraint |
| CDiv | Test for division constraint |
| CDivSol | Test for division constraint when solution is ensured |
| CMaxNary | Test for n-ary maximum constraint |
| CMaxNaryShared | Test for n-ary maximum constraint with shared variables |
| CMaxXXX | Test for binary maximum constraint with shared variables |
| CMaxXXY | Test for binary maximum constraint with shared variables |
| CMaxXYX | Test for binary maximum constraint with shared variables |
| CMaxXYY | Test for binary maximum constraint with shared variables |
| CMaxXYZ | Test for binary maximum constraint |
| CMinNary | Test for n-ary minimmum constraint |
| CMinNaryShared | Test for n-ary minimmum constraint with shared variables |
| CMinXXX | Test for binary minimum constraint with shared variables |
| CMinXXY | Test for binary minimum constraint with shared variables |
| CMinXYX | Test for binary minimum constraint with shared variables |
| CMinXYY | Test for binary minimum constraint with shared variables |
| CMinXYZ | Test for binary minimum constraint |
| CMultXXX | Test for multiplication constraint with shared variables |
| CMultXXY | Test for multiplication constraint with shared variables |
| CMultXXYSol | Test for multiplication constraint with shared variables when solution is ensured |
| CMultXYX | Test for multiplication constraint with shared variables |
| CMultXYY | Test for multiplication constraint with shared variables |
| CMultXYZ | Test for multiplication constraint |
| CMultXYZSol | Test for multiplication constraint when solution is ensured |
| CNRootXX | Test for nroot constraint with shared variables |
| CNRootXY | Test for nroot constraint |
| CNRootXYSol | Test for nroot constraint where solution is ensured |
| CPowXX | Test for pow constraint with shared variables |
| CPowXY | Test for pow constraint |
| CPowXYSol | Test for pow constraint where solution is ensured |
| CSqrtXX | Test for square root constraint with shared variables |
| CSqrtXY | Test for square root constraint |
| CSqrtXYSol | Test for square root constraint where solution is ensured |
| CSqrXX | Test for squaring constraint with shared variables |
| CSqrXY | Test for squaring constraint |
| CSqrXYSol | Test for squaring constraint where solution is ensured |
| ►NBasic | Tests for basic setup |
| CBasic | Test whether testing infrastructure for float variables works |
| ►NChannel | Tests for channel constraints |
| CChannelLinkSingle | Test channel between float and integer |
| ►NDom | Tests for domain constraints |
| CCreate | Help class to create and register tests |
| CNum | Test for domain constraints with float numbers |
| CVal | Test for domain constraints with a float value |
| ►NLinear | Tests for linear constraints |
| CCreate | Help class to create and register tests |
| CFloatFloat | Test linear relation over float variables |
| CFloatVar | Test linear relation over float variables |
| ►NMiniModelLin | Tests for minimal modeling constraints (linear) |
| CCreate | Help class to create and register tests |
| CLinExpr | Test linear expressions over float variables |
| CLinInstr | Type for representing a linear instruction |
| CLinRel | Test linear relations over float variables |
| ►NRel | Tests for relation constraints |
| CCreate | Help class to create and register tests |
| CFloatFloat | Test for simple relation involving float variable and float constant |
| CFloatVarXX | Test for simple relation involving shared float variables |
| CFloatVarXY | Test for simple relation involving float variables |
| ►NTranscendental | Tests for transcendental constraints |
| CExpXX | Test for exponent constraint with shared variables |
| CExpXY | Test for exponent constraint |
| CExpXYSol | Test for exponent constraint where solution is ensured |
| CLogNXX | Test for logarithm base n constraint with shared variables |
| CLogNXY | Test for logarithm base n constraint |
| CLogNXYSol | Test for logarithm base n constraint where solution is ensured |
| CLogXX | Test for logarithm constraint with shared variables |
| CLogXY | Test for logarithm constraint |
| CLogXYSol | Test for logarithm constraint where solution is ensured |
| CPowXX | Test for pow exponent n constraint with shared variables |
| CPowXY | Test for pow exponent n constraint |
| CPowXYSol | Test for pow exponent n constraint where solution is ensured |
| ►NTrigonometric | Tests for trigonometric constraints |
| CACosXX | Test for acosinus constraint with shared variables |
| CACosXY | Test for acosinus constraint |
| CACosXYSol | Test for acosinus constraint where solution is ensured |
| CASinXX | Test for asinus constraint with shared variables |
| CASinXY | Test for asinus constraint |
| CASinXYSol | Test for asinus constraint where solution is ensured |
| CATanXX | Test for atangent constraint with shared variables |
| CATanXY | Test for atangent constraint |
| CATanXYSol | Test for atangent constraint where solution is ensured |
| CCosXX | Test for cosinus constraint with shared variables |
| CCosXY | Test for cosinus constraint |
| CCosXYSol | Test for cosinus constraint where solution is ensured |
| CSinXX | Test for sinus constraint with shared variables |
| CSinXY | Test for sinus constraint |
| CSinXYSol | Test for sinus constraint where solution is ensured |
| CTanXX | Test for tangent constraint with shared variables |
| CTanXY | Test for tangent constraint |
| CTanXYSol | Test for tangent constraint where solution is ensured |
| CAssignment | Base class for assignments |
| CCpltAssignment | Generate all assignments |
| CExtAssignment | Generate all assignments except the last variable and complete it to get a solution |
| CFloatRelTypes | Iterator for float relation types |
| CRandomAssignment | Generate random selection of assignments |
| CTest | Base class for tests with float constraints |
| CTestSpace | Space for executing tests |
| ►NInt | Testing finite domain integers |
| ►NArithmetic | Tests for arithmetic constraints |
| CAbsXX | Test for absolute value constraint with shared variables |
| CAbsXY | Test for absolute value constraint |
| CArgMax | Test for argument maximum constraint |
| CArgMaxShared | Test for argument maximum constraint with shared variables |
| CArgMin | Test for argument minimum constraint |
| CArgMinShared | Test for argument minimum constraint with shared variables |
| CCreate | Help class to create and register tests |
| CDiv | Test for division constraint |
| CDivMod | Test for division/modulo constraint |
| CMaxNary | Test for n-ary maximum constraint |
| CMaxNaryShared | Test for n-ary maximum constraint with shared variables |
| CMaxXXX | Test for binary maximum constraint with shared variables |
| CMaxXXY | Test for binary maximum constraint with shared variables |
| CMaxXYX | Test for binary maximum constraint with shared variables |
| CMaxXYY | Test for binary maximum constraint with shared variables |
| CMaxXYZ | Test for binary maximum constraint |
| CMinNary | Test for n-ary minimmum constraint |
| CMinNaryShared | Test for n-ary minimmum constraint with shared variables |
| CMinXXX | Test for binary minimum constraint with shared variables |
| CMinXXY | Test for binary minimum constraint with shared variables |
| CMinXYX | Test for binary minimum constraint with shared variables |
| CMinXYY | Test for binary minimum constraint with shared variables |
| CMinXYZ | Test for binary minimum constraint |
| CMod | Test for modulo constraint |
| CMultXXX | Test for multiplication constraint with shared variables |
| CMultXXY | Test for multiplication constraint with shared variables |
| CMultXYX | Test for multiplication constraint with shared variables |
| CMultXYY | Test for multiplication constraint with shared variables |
| CMultXYZ | Test for multiplication constraint |
| CNrootXX | Test for nroot constraint with shared variables |
| CNrootXY | Test for nroot constraint |
| CPowXX | Test for power constraint with shared variables |
| CPowXY | Test for power constraint |
| CSqrtXX | Test for square root constraint with shared variables |
| CSqrtXY | Test for square root constraint |
| CSqrXX | Test for squaring constraint with shared variables |
| CSqrXY | Test for squaring constraint |
| ►NBasic | Tests for basic setup |
| CBasic | Test whether testing infrastructure for integer variables works |
| ►NBinPacking | Tests for bin-packing constraint |
| CBPT | Test with different bin loads and items |
| ►CCliqueMBPT | Test for testing the max-clique finding for multi bin-packing |
| CTestSpace | Simple test space class |
| CCreate | Help class to create and register tests |
| CLoadBinAssignment | Generate load and bin assignments |
| CMBPT | Test with different bin loads and items |
| ►NBool | Tests for Boolean constraints |
| CBinConstXX | Test for binary Boolean operation with shared variables and constant |
| CBinConstXY | Test for binary Boolean operation with constant |
| CBinXXX | Test for binary Boolean operation with shared variables |
| CBinXXY | Test for binary Boolean operation with shared variables |
| CBinXYX | Test for binary Boolean operation with shared variables |
| CBinXYY | Test for binary Boolean operation with shared variables |
| CBinXYZ | Test for binary Boolean operation |
| CClauseConst | Test for Clause Boolean operation with constant |
| CClauseXXY | Test for Clause Boolean operation |
| CClauseXXYYX | Test for Clause Boolean operation |
| CClauseXYZ | Test for Clause Boolean operation |
| CCreate | Help class to create and register tests |
| CITE | Test for if-the-else-constraint |
| CNary | Test for Nary Boolean operation |
| CNaryConst | Test for Nary Boolean operation with constant |
| CNaryShared | Test for Nary Boolean operation |
| ►NChannel | Tests for channel constraints |
| CChannelFull | Simple test for channel (testing all variables) |
| CChannelHalf | Simple test for channel (testing single set of variables) |
| CChannelLinkMulti | Test channel between integer variable and array of Boolean variables |
| CChannelLinkSingle | Test channel between integer and Boolean variable |
| CChannelShared | Test channel with shared variables |
| ►NCircuit | Tests for circuit constraints |
| CCircuit | Simple test for circuit constraint |
| CCircuitCost | Simple test for circuit constraint with total cost |
| CCircuitFullCost | Simple test for circuit constraint with full cost information |
| CCreate | Help class to create and register tests |
| CPath | Simple test for Hamiltonian path constraint |
| CPathCost | Simple test for path constraint with total cost |
| ►NCount | Tests for count constraints |
| CCreate | Help class to create and register tests |
| CIntArrayInt | Test number of several equal integers equal to integer |
| CIntArrayVar | Test number of several equal integers equal to integer variable |
| CIntInt | Test number of equal integers equal to integer |
| CIntIntDup | Test number of equal integers equal to integer with duplicate variables |
| CIntVar | Test number of equal integers equal to integer variable |
| CIntVarShared | Test number of equal integers equal to integer variable with sharing |
| CSetInt | Test number of integers contained in an integer set equal to integer |
| CSetVar | Test number of integers contained in an integer set equal to integer variable |
| CVarInt | Test number of equal variables equal to integer |
| CVarVar | Test number of equal variables equal to integer variable |
| CVarVarSharedA | Test number of equal variables equal to integer variable with sharing |
| CVarVarSharedB | Test number of equal variables equal to integer variable with sharing |
| CVarVarSharedC | Test number of equal variables equal to integer variable with sharing |
| ►NCumulative | Tests for cumulative scheduling constraints |
| CCreate | Help class to create and register tests |
| CManFixPCumulative | Test for cumulative constraint with mandatory tasks |
| CManFlexCumulative | Test for cumulative constraint with flexible mandatory tasks |
| COptFixPCumulative | Test for cumulative constraint with optional tasks |
| COptFlexCumulative | Test for cumulative constraint with optional flexible tasks |
| ►NCumulatives | Tests for scheduling constraints |
| CAbove | Describe that event is above a certain limit |
| CAss | Script for generating assignments |
| CBelow | Describe that event is below a certain limit |
| CCumulativeAssignment | Class for generating reasonable assignments |
| CCumulatives | Test for cumulatives constraint |
| CEvent | Event to be scheduled |
| ►NDistinct | Tests for distinct constraints |
| CDistinct | Simple test for distinct constraint |
| COffset | Simple test for distinct constraint with offsets |
| ►CPathological | Testing pathological cases |
| CTestSpace | Test space |
| CRandom | Randomized test for distinct constraint |
| ►NDom | Tests for domain constraints |
| CDomDom | Test for domain constraint (full integer set) |
| CDomInt | Test for domain constraint (integer) |
| CDomRange | Test for domain constraint (range) |
| CDomRangeEmpty | Test for domain constraint (empty range) |
| ►NElement | Tests for element constraints |
| CCreate | Help class to create and register tests |
| CIntBoolInt | Test for element with integer array and integer and Boolean variable |
| CIntBoolVar | Test for element with integer array and integer and Boolean variable |
| CIntIntInt | Test for element with integer array and integer variables |
| CIntIntShared | Test for element with integer array and single shared integer variable |
| CIntIntVar | Test for element with integer array and integer variables |
| CMatrixBoolVarBoolVarXX | Test for matrix element with Boolean variable array and Boolean variable |
| CMatrixBoolVarBoolVarXY | Test for matrix element with Boolean variable array and Boolean variable |
| CMatrixIntBoolVarXX | Test for matrix element with integer array and Boolean variable |
| CMatrixIntBoolVarXY | Test for matrix element with integer array and Boolean variable |
| CMatrixIntIntVarXX | Test for matrix element with integer array and integer variable |
| CMatrixIntIntVarXY | Test for matrix element with integer array and integer variable |
| CMatrixIntVarIntVarXX | Test for matrix element with integer variable array and integer variable |
| CMatrixIntVarIntVarXY | Test for matrix element with integer variable array and integer variable |
| CVarBoolInt | Test for element with Boolean variable array and integer variable |
| CVarBoolVar | Test for element with Boolean variable array and integer variable |
| CVarIntInt | Test for element with variable array and integer variables |
| CVarIntShared | Test for element with variable array and shared integer variable |
| CVarIntVar | Test for element with variable array and integer variables |
| ►NExec | Tests for synchronized execution |
| CBoolWait | Simple test for wait (Boolean variables) |
| CIntWait | Simple test for wait (integer variables) |
| CWhen | Simple test for when |
| ►NExtensional | Tests for extensional (relation) constraints |
| CRegDistinct | Test with regular expression for distinct constraint |
| CRegEmptyDFA | Test for empty DFA |
| CRegEmptyREG | Test for empty regular expression |
| CRegOpt | Test for optimizations |
| CRegRoland | Test with simple regular expression from Roland Yap |
| CRegSharedA | Test with simple regular expression and shared variables (uses unsharing) |
| CRegSharedB | Test with simple regular expression and shared variables (uses unsharing) |
| CRegSharedC | Test with simple regular expression and shared variables (uses unsharing) |
| CRegSharedD | Test with simple regular expression and shared variables (uses unsharing) |
| CRegSimpleA | Test with simple regular expression |
| CRegSimpleB | Test with simple regular expression |
| CRegSimpleC | Test with simple regular expression |
| CTupleSetA | Test with tuple set |
| CTupleSetB | Test with tuple set |
| CTupleSetBool | Test with bool tuple set |
| ►NGCC | Tests for counting constraints (global cardinality) |
| CCreate | Help class to create and register tests |
| CIntAllMax | Test for integer cardinality with max cardinality for all variables |
| CIntAllMinMax | Test for integer cardinality with min and max for all variables |
| CIntAllMinMaxDef | Test for integer cardinality with min and max for all variables |
| CIntSome | Test for integer cardinality for some variables |
| CVarAll | Test for variable cardinality for all cardinality values |
| CVarSome | Test for variable cardinality for some cardinality values |
| ►NLinear | Tests for linear constraints |
| CBoolInt | Test linear relation over Boolean variables equal to constant |
| CBoolVar | Test linear relation over Boolean variables equal to integer variable |
| CCreate | Help class to create and register tests |
| CIntInt | Test linear relation over integer variables |
| CIntVar | Test linear relation over integer variables |
| ►NMember | Tests for membership constraints |
| CBool | Test membership for Boolean variables |
| CCreate | Help class to create and register tests |
| CInt | Test membership for integer variables |
| ►NMiniModel | Tests for minimal modelling constraints (simple relations) |
| CBoolLex | Test for relation between arrays of Boolean variables |
| CCreate | Help class to create and register tests |
| CIntLex | Test for relation between arrays of integer variables |
| ►NMiniModelArithmetic | Tests for minimal modelling constraints (arithmetic) |
| CAbs | Test for absolute value constraint |
| CDiv | Test for division constraint |
| CMax | Test for binary maximum constraint |
| CMaxNary | Test for n-ary maximum constraint |
| CMin | Test for binary minimum constraint |
| CMinNary | Test for n-ary minimmum constraint |
| CMinus | Test for subtraction constraint |
| CMod | Test for division constraint |
| CMult | Test for multiplication constraint |
| CPlus | Test for addition constraint |
| CSqr | Test for sqr constraint |
| CSqrt | Test for sqrt constraint |
| ►NMiniModelBoolean | Tests for minimal modelling constraints (Boolean) |
| CBoolExprInt | Test Boolean expressions with integer result |
| CBoolExprVar | Test posting Boolean expressions |
| CBoolInstr | Type for representing a Boolean instruction |
| CCreate | Help class to create and register tests |
| ►NMiniModelCount | Tests for minimal modelling constraints (counting) |
| CCreate | Help class to create and register tests |
| CIntArrayInt | Test number of several equal integers equal to integer |
| CIntArrayVar | Test number of several equal integers equal to integer variable |
| CIntInt | Test number of equal integers equal to integer |
| CIntVar | Test number of equal integers equal to integer variable |
| CVarInt | Test number of equal variables equal to integer |
| CVarVar | Test number of equal variables equal to integer variable |
| ►NMiniModelLin | Tests for minimal modelling constraints (linear) |
| CCreate | Help class to create and register tests |
| CLinExprBool | Test linear expressions over Boolean variables |
| CLinExprInt | Test linear expressions over integer variables |
| CLinExprMixed | Test linear expressions over integer and Boolean variables |
| CLinInstr | Type for representing a linear instruction |
| CLinRelBool | Test linear relations over Boolean variables |
| CLinRelInt | Test linear relations over integer variables |
| CLinRelMixed | Test linear relations over integer and Boolean variables |
| ►NMiniModelSet | Tests for minimal modelling constraints (Set) |
| CCreate | Help class to create and register tests |
| CSetExprConst | Test set expressions with constant result |
| CSetExprExpr | Test set expressions with expression result |
| CSetInstr | Type for representing a set instruction |
| ►NNoOverlap | Tests for no-overlap constraint |
| CCreate | Help class to create and register tests |
| CInt2 | Test for no-overlap with integer dimensions (rectangles) |
| CIntOpt2 | Test for no-overlap with optional rectangles |
| CVar2 | Test for no-overlap with variable dimensions (rectangles) |
| CVarOpt2 | Test for no-overlap with optional rectangles |
| CVarOptShared2 | Test for no-overlap with optional rectangles and shared variables |
| ►NNValues | Tests for number of values constraints |
| CBoolInt | Test number of values of Boolean variables equal to integer |
| CBoolVar | Test number of values of Boolean variables equal to integer variable |
| CCreate | Help class to create and register tests |
| CIntInt | Test number of values of integer variables equal to integer |
| CIntVar | Test number of values of integer variables equal to integer variable |
| ►NPrecede | Tests for value precedence constraints |
| CMulti | Test for multiple value precedence constraint |
| CSingle | Test for single value precedence constraint |
| ►NRel | Tests for relation constraints |
| CBoolArray | Test for relation between arrays of Boolean variables |
| CBoolInt | Test for simple relation involving Boolean variable and integer constant |
| CBoolSeq | Test for sequence of relations between Boolean variables |
| CBoolSharedSeq | Test for sequence of relations between shared Boolean variables |
| CBoolVarXX | Test for simple relation involving shared Boolean variables |
| CBoolVarXY | Test for simple relation involving Boolean variables |
| CCreate | Help class to create and register tests |
| CIntArray | Test for relation between same sized arrays of integer variables |
| CIntArrayDiff | Test for relation between differently sized arrays of integer variables |
| CIntInt | Test for simple relation involving integer variable and integer constant |
| CIntSeq | Test for sequence of relations between integer variables |
| CIntSharedSeq | Test for sequence of relations between shared integer variables |
| CIntVarXX | Test for simple relation involving shared integer variables |
| CIntVarXY | Test for simple relation involving integer variables |
| ►NSequence | Tests for sequence constraints |
| CCreate | Help class to create and register tests |
| CSequenceBoolTest | Test for sequence with boolean variables |
| CSequenceIntTest | Test for sequence with boolean variables |
| CSequenceTest | Base test for sequence |
| ►NSorted | Tests for sorted constraints |
| CNoVar | Test sorted without permutation variables |
| CPermVar | Test sorted with permutation variables |
| CSortIntMin | Relation for sorting integers in increasing order |
| ►NUnary | Tests for unary scheduling constraints |
| CManFixPUnary | Test for unary constraint |
| CManFlexUnary | Test for unary constraint |
| COptFixPUnary | Test for unary constraint with optional tasks |
| COptFlexUnary | Test for unary constraint with optional tasks |
| ►NUnshare | Tests for unsharing variables in arrays |
| CBool | Test for unsharing Boolean variables |
| CInt | Test for unsharing integer variables |
| CAssignment | Base class for assignments |
| CBoolOpTypes | Iterator for Boolean operation types |
| CCpltAssignment | Generate all assignments |
| CIntConLevels | Iterator for integer consistency levels |
| CIntRelTypes | Iterator for integer relation types |
| CRandomAssignment | Generate random selection of assignments |
| CRandomMixAssignment | Generate random selection of assignments |
| CTest | Base class for tests with integer constraints |
| CTestSpace | Space for executing tests |
| ►NLDSB | Testing for LDSB |
| CActivity1 | Test with activity |
| CLDSB | Test for LDSB infrastructure |
| ►CLDSBLatin | Test for LDSB infrastructure with Latin square problem |
| CLatin | Latin square space |
| CLDSBSet | Test for LDSB infrastructure |
| CMatSym1 | Test for matrix symmetry |
| CMatSym2 | Test for matrix symmetry |
| CMatSym3 | Test for matrix symmetry |
| CMatSym4 | Test for matrix symmetry |
| COneArray | Test space |
| COneArraySet | Test space (set version) |
| CRecomputation | Test for handling of recomputation |
| CReflectSym1 | Test for reflection symmetry |
| CReflectSym2 | Test for reflection symmetry |
| CSetValSym1 | Test for set value symmetry |
| CSetValSym2 | Test for set value symmetry |
| CSetVarSeqSym1 | Test for set variable sequence symmetry |
| CSetVarSeqSym2 | Test for set variable sequence symmetry |
| CSetVarSym1 | Test for set variable symmetry |
| CSimIntValSym1 | Test for value sequence symmetry |
| CSimIntValSym2 | Test for value sequence symmetry |
| CSimIntValSym3 | Test for value sequence symmetry |
| CSimIntVarSym1 | Test for variable sequence symmetry |
| CSimIntVarSym2 | Test for variable sequence symmetry |
| CTieBreak | Test tiebreaking variable heuristic |
| CValSym1 | Test for value symmetry |
| CValSym1b | Test for value symmetry |
| CValSym1c | Test for value symmetry |
| CValSym2 | Test for value symmetry |
| CValSym2b | Test for value symmetry |
| CValSym3 | Test for value symmetry |
| CValSym4 | Test for value symmetry |
| CValSym5 | Test for value symmetry |
| CVarSym1 | Test for variable symmetry |
| CVarSym1b | Test for variable symmetry |
| CVarSym2 | Test for variable symmetry |
| CVarSym3 | Test for variable symmetry |
| CVarSym4 | Test for variable symmetry |
| CVarSym5 | Test for variable symmetry |
| CVarValSym1 | Test for variable and value symmetry |
| ►NNoGoods | Tests for search using no-goods |
| CCreate | Help class to create and register tests |
| CHamming | Example for testing set no-goods |
| CNoGoods | Base class for no-good tests |
| CQueens | Example for testing integer no-goods |
| ►NSearch | Tests for search engines |
| CBAB | Test for best solution search |
| CBranchTypes | Iterator for branching types |
| CConstrainTypes | Iterator for constrain types |
| CCreate | Help class to create and register tests |
| CDFS | Test for depth-first search |
| CFailImmediate | Space that immediately fails |
| CHasSolutions | Space that requires propagation and has solutions |
| CRBS | Test for restart-based search |
| CSolveImmediate | Space that is immediately solved |
| CTest | Base class for search tests |
| CTestSpace | Space with information |
| ►NSet | Testing finite sets |
| ►NChannel | Tests for set channeling constraints |
| CChannelBool | Test for Boolean channel constraint |
| CChannelInt | Test for integer channel constraint |
| CChannelSet | Test for set channel constraint |
| CChannelSorted | Test for sorted channeling constraint |
| ►NConvex | Tests for convexity constraints |
| CConvex | Test for convexity propagator |
| CConvexHull | Test for convex hull propagator |
| CConvexHullS | Sharing test for convex hull propagator |
| ►NDistinct | Tests for distinctness constraints |
| CAtmostOne | Test for the atmostone propagator |
| ►NDom | Tests for domain constraints |
| CCardRange | Test for cardinality range |
| CDomDom | Test for equality with a domain |
| CDomInt | Test for equality with an integer |
| CDomIntRange | Test for equality with an integer range |
| CDomRange | Test for equality with a range |
| ►NElement | Tests for set element constraints |
| CElementDisjoint | Test for ElementDisjoint constraint |
| CElementInter | Test for ElementInter constraint |
| CElementInterIn | Test for ElementInter constraint |
| CElementSet | Test for ElementSet constraint |
| CElementSetConst | Test for ElementSetConst constraint |
| CElementUnion | Test for ElementUnion constraint |
| CElementUnionConst | Test for ElementUnionConst constraint |
| CMatrixIntSet | Test for matrix element with integer set array and set variable |
| ►NExec | Tests for synchronized execution |
| CWait | Simple test for wait (set variables) |
| ►NInt | Tests for combined int/set constraints |
| CCard | Test for cardinality constraint |
| CElem | Test for element constraint |
| CIntRel | Test for integer relation constraint |
| CMax | Test for maximal element constraint |
| CMin | Test for minimal element constraint |
| CNoElem | Test for negated element constraint |
| CNotMax | Test for negated maximal element constraint |
| CNotMin | Test for negated minimal element constraint |
| CRel | Test for relation constraint |
| CWeights | Test for set weight constraint |
| ►NPrecede | Tests for value precedence constraints |
| CMulti | Test for multiple value precedence constraint |
| CSingle | Test for single value precedence constraint |
| ►NRel | Tests for relation constraints |
| CRelBin | Test for binary set relation constraint |
| ►NRelOp | Tests for relation/operation constraints |
| CCreate | Help class to create and register tests |
| CCreateIntN | Help class to create and register tests |
| CCreateN | Help class to create and register tests |
| CRel | Test for ternary relation constraint |
| CRelIntN | Test for n-ary partition constraint |
| CRelN | Test for n-ary partition constraint |
| ►NRelOpConst | Tests for relation/operation constraints with constants |
| CCreate | Help class to create and register tests |
| CRelISI | Test for set relation constraint with constants |
| CRelSIS | Test for set relation constraint with constants |
| CRelSSI | Test for set relation constraint with constants |
| ►NSequence | Tests for sequence constraints |
| CSeqU | Test for sequential-union constraint |
| CSequence | Test for sequence constraint |
| ►NVar | Tests for set variable conors |
| CConstruct | Test for cardinality constraint |
| CCountableSet | Iterate all subsets of a given set |
| CCountableSetRanges | Range iterator producing subsets of an IntSet |
| CCountableSetValues | Value iterator producing subsets of an IntSet |
| CFakeSpace | Fake space for creation of regions |
| CSetAssignment | Generate all set assignments |
| CSetOpTypes | Iterator for Boolean operation types |
| CSetRelTypes | Iterator for set relation types |
| CSetTest | Base class for tests with set constraints |
| CSetTestSpace | Space for executing set tests |
| ►CAFC | Test for AFC infrastructure |
| CTestSpace | Test space |
| CBase | Base class for all tests to be run |
| ►CBrancherHandle | Test for brancher handles |
| CTestSpace | Test space |
| Cind | Simple class for describing identation |
| COptions | Commandline options |
| CSortByName | Sort tests by name |
| CAllInterval | Example: All-interval series |
| CAlpha | Example: Alpha puzzle |
| CArchimedeanSpiral | Example: Archimedean spiral |
| CBACP | Example: The balanced academic curriculum problem |
| CBIBD | Example: Balanced incomplete block design (BIBD) |
| CBIBDOptions | Options for BIBD problems |
| CBinPacking | Example: Bin packing |
| CBlackHole | Example: Black hole patience |
| CCarSequencing | Example: Car sequencing |
| CCartesianHeart | Example: Cartesian Heart |
| ►CCDBF | Custom brancher implementing CDBF |
| CChoice | Choice |
| CColoredMatrix | Example: Colored matrix example |
| CColoredMatrixOptions | ColoredMatrixOptions |
| CCourse | A course |
| CCrew | Example: Airline crew allocation |
| CCrossword | Example: Crossword puzzle |
| CCrowdedChess | Example: Crowded chessboard |
| CCurriculum | A curriculum |
| CDescartesFolium | Example: Folium of Descartes |
| CDictionary | A simple dictionary class |
| CDominatingQueens | Example: Dominating Queens |
| CDomino | Example: Solitaire domino |
| CDonald | Example: DONALD+GERALD=ROBERT puzzle |
| CEFPA | Example: Equidistant Frequency Permutation Arrays |
| CEFPAOptions | Options for EFPA problems |
| CEq20 | Example: Solving 20 linear equations |
| CFileSizeOptions | Parse an additional file option |
| CGoldenSpiral | Example: Golden spiral |
| CGolf | Example: Golf tournament |
| CGolfOptions | Options for Golf example |
| CGolombRuler | Example: Finding optimal Golomb rulers |
| CGraph | Graph specification |
| CGraphColor | Example: Clique-based graph coloring |
| CGraphColorSpec | Graph specification |
| CGrocery | Example: Grocery puzzle |
| CHamming | Example: Generating Hamming codes |
| CHammingOptions | Options for Hamming problems |
| CIndSet | Example: Independent sets in a graph |
| CKakuro | Example: Kakuro |
| CKnights | Base-class for knight's tour example |
| CKnightsCircuit | Example: n-Knights tour (model using circuit) |
| CKnightsReified | Example: n-Knight's tour (simple model) |
| CLangfordNumber | Example: Langford's number problem |
| CLangfordNumberOptions | Options taking two additional parameters |
| CMagicSequence | Example: Magic sequence |
| CMagicSquare | Example: Magic squares |
| CMineSweeper | Example: Minesweeper |
| CMoney | Example: SEND+MORE=MONEY puzzle |
| CMultiBinPacking | Example: Multi-dimensional bin packing |
| CNonogram | Example: Nonogram |
| ►COpenShop | Example: open-shop scheduling |
| CPrintTask | Helper class for representing tasks when printing a solution |
| CTask | Task representation for CROSH heuristic |
| COrthoLatinSquare | Example: Orthogonal latin squares |
| CPartition | Example: partition numbers into two groups |
| CPentominoes | Example: Pentominoes |
| CPerfectSquare | Example: Packing squares into a rectangle |
| CPhoto | Example: Placing people on a photo |
| CPhotoSpec | Specifications for the photo example |
| CPlay | Entry in round robin schedule |
| CQCP | Example: Quasigroup completion |
| ►CQueenArmies | Example: Peaceable co-existing armies of queens |
| CQueenBranch | Custom brancher for Peacable queens |
| CQueens | Example: n-Queens puzzle |
| ►CRadiotherapy | Example: Radiotherapy |
| CNestedSearch | Nested search on the q variables |
| CRadiotherapyData | Instance data for radio therapy problem |
| CRRS | Round robin schedule |
| CSat | Example: CNF SAT solver |
| CSatOptions | Options for SAT problems |
| CSchur | Example: Schur's lemma |
| CSchurOptions | Options for Schur's Lemma |
| CSortByWeight | Sort orders by weight |
| CSportsLeague | Example: Sports league scheduling |
| ►CSteelMill | Example: Steel-mill slab design problem |
| ►CSteelMillBranch | Custom brancher for steel mill slab design |
| CChoice | Choice |
| CSteelMillOptions | SteelMillOptions for examples with size option and an additional optional file name parameter |
| CSteiner | Example: Steiner triples |
| CSudoku | Base class for Sudoku puzzles |
| CSudokuInt | Example: Solving Sudoku puzzles using integer constraints |
| CSudokuMixed | Example: Solving Sudoku puzzles using both set and integer constraints |
| CSudokuSet | Example: Solving Sudoku puzzles using set constraints |
| CTileSpec | Specification of one tile |
| CTSP | Example: Travelling salesman problem (TSP) |
| CWarehouses | Example: Locating warehouses |
| ►CWarnsdorff | Custom brancher for knight's tours using Warnsdorff's rule |
| CChoice | Choice |
| CWordSquare | Example: Word-square puzzle |