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. |