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