core.icc File Reference
(Revision: 3787)
#include "gecode/vti.icc"
Go to the source code of this file.
Namespaces | |
| namespace | Gecode |
Classes | |
| class | Gecode::VarBase |
| Base-class for variable implementations. More... | |
| class | Gecode::VarTypeProcessorBase |
| Base-class for variable type processor. More... | |
| class | Gecode::VarTypeProcessor< VTI, PC, MED > |
| Variable type processor More... | |
| class | Gecode::Variable< VTI, PC, MED > |
| Base-class for variable implementations. More... | |
| class | Gecode::ActorLink |
| Double-linked list for actors. More... | |
| class | Gecode::ActorDeleteLink |
| Double-linked list for deleting actors. More... | |
| class | Gecode::Actor |
| Base-class for both propagators and branchings. More... | |
| class | Gecode::Propagator |
| Base-class for propagators. 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::PropModEvent |
| Propagator modification events. | |
Enumerations | |
| enum | Gecode::VarTypeId { Gecode::VTI_INT, Gecode::VTI_SET, Gecode::VTI_LAST, Gecode::VTI_NOIDX = 0 } |
| Variable type identifiers More... | |
| enum | Gecode::ExecStatus { Gecode::ES_FAILED = -1, Gecode::ES_NOFIX = 0, Gecode::ES_OK = 0, Gecode::ES_FIX = 1, Gecode::ES_SUBSUMED = 2, Gecode::__ES_FIX_PARTIAL = 3, Gecode::__ES_NOFIX_PARTIAL = 4 } |
| Status of constraint propagation and branching commit. More... | |
| 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... | |
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 ModEvent | Gecode::ME_GEN_MAX = 15 |
| Generic modification event: maximal modification event. | |
| const PropCond | Gecode::PC_GEN_ASSIGNED = 0 |
| Propagation condition for an assigned variable. | |
| const PropCond | Gecode::PC_GEN_MAX = 15 |
| Propagation conditions must be between 0 and 15. | |