core.icc File Reference
(Revision: 7332)
#include "gecode/kernel/var-type.icc"
Go to the source code of this file.
Namespaces | |
| namespace | Gecode |
| namespace | Gecode::Reflection |
Classes | |
| class | Gecode::SharedHandle |
| The shared handle. More... | |
| class | Gecode::SharedHandle::Object |
| The shared object. More... | |
| class | Gecode::NoIdxVarImpConf |
| Configuration class for variable implementations without index structure. More... | |
| class | Gecode::VarImpBase |
| Base-class for variable implementations. More... | |
| class | Gecode::VarDisposerBase |
| Base class for Variable type disposer. More... | |
| class | Gecode::VarDisposer< VarType > |
| Variable type disposer More... | |
| class | Gecode::Delta |
| Generic domain change information to be supplied to advisors. More... | |
| class | Gecode::VarImp< VIC > |
| Base-class for variable implementations. More... | |
| class | Gecode::ActorLink |
| Double-linked list for actors. More... | |
| class | Gecode::Actor |
| Base-class for both propagators and branchings. More... | |
| class | Gecode::Propagator |
| Base-class for propagators. More... | |
| class | Gecode::Council< A > |
| Council of advisors. More... | |
| class | Gecode::Advisors< A > |
| Class to iterate over advisors of a council. More... | |
| class | Gecode::Advisor |
| Base-class for advisors. More... | |
| class | Gecode::BranchingDesc |
| Branch description for batch recomputation. More... | |
| class | Gecode::Branching |
| Base-class for branchings. More... | |
| class | Gecode::Space |
| Computation spaces. More... | |
Typedefs | |
| typedef int | Gecode::ModEvent |
| Type for modification events. | |
| typedef int | Gecode::PropCond |
| Type for propagation conditions. | |
| typedef int | Gecode::ModEventDelta |
| Modification event deltas. | |
Enumerations | |
| enum | Gecode::ExecStatus { Gecode::__ES_SUBSUMED = -2, Gecode::ES_FAILED = -1, Gecode::ES_NOFIX = 0, Gecode::ES_OK = 0, Gecode::ES_FIX = 1, Gecode::__ES_PARTIAL = 2 } |
| enum | Gecode::PropCost { Gecode::PC_CRAZY_LO = 0, Gecode::PC_CRAZY_HI = 0, Gecode::PC_CUBIC_LO = 1, Gecode::PC_CUBIC_HI = 1, Gecode::PC_QUADRATIC_LO = 2, Gecode::PC_QUADRATIC_HI = 2, Gecode::PC_LINEAR_HI = 3, Gecode::PC_LINEAR_LO = 4, Gecode::PC_TERNARY_HI = 5, Gecode::PC_BINARY_HI = 6, Gecode::PC_TERNARY_LO = 6, Gecode::PC_BINARY_LO = 7, Gecode::PC_UNARY_LO = 7, Gecode::PC_UNARY_HI = 7, Gecode::PC_MAX = 7 } |
| Classification of propagation cost. More... | |
| enum | Gecode::SpaceStatus { Gecode::SS_FAILED, Gecode::SS_SOLVED, Gecode::SS_BRANCH } |
| Space status More... | |
Functions | |
| ExecStatus | Gecode::ES_SUBSUMED (Propagator *p, size_t s) |
| Propagator p is subsumed | |
| ExecStatus | Gecode::ES_SUBSUMED (Propagator *p, Space *home) |
| Propagator p is subsumed | |
| ExecStatus | Gecode::ES_FIX_PARTIAL (Propagator *p, ModEventDelta med) |
| Propagator p has computed partial fixpoint | |
| ExecStatus | Gecode::ES_NOFIX_PARTIAL (Propagator *p, ModEventDelta med) |
| Propagator p has not computed partial fixpoint | |
| template<class A> | |
| ExecStatus | Gecode::ES_SUBSUMED_FIX (A *a, Space *home, Council< A > &c) |
| Advisor a is subsumed | |
| template<class A> | |
| ExecStatus | Gecode::ES_SUBSUMED_NOFIX (A *a, Space *home, Council< A > &c) |
| Advisor a is subsumed | |
Variables | |
| const ModEvent | Gecode::ME_GEN_FAILED = -1 |
| Generic modification event: failed variable. | |
| const ModEvent | Gecode::ME_GEN_NONE = 0 |
| Generic modification event: no modification. | |
| const ModEvent | Gecode::ME_GEN_ASSIGNED = 1 |
| Generic modification event: variable is assigned a value. | |
| const PropCond | Gecode::PC_GEN_NONE = -1 |
| Propagation condition to be ignored (convenience). | |
| const PropCond | Gecode::PC_GEN_ASSIGNED = 0 |
| Propagation condition for an assigned variable. | |