Programming actors
[Functionality by programming task]
Collaboration diagram for Programming actors:
|
Detailed Description
This group contains the components used for programming propagators and branchings.
Modules | |
| Programming integer actors | |
| Programming set actors | |
Classes | |
| class | org.gecode.BinaryPropagator< GV extends GecodeView > |
| Base class for binary propagators. More... | |
| class | org.gecode.Branching |
| Base class for programming Branchings. More... | |
| interface | org.gecode.GecodeView |
| Top-level view interface. More... | |
| class | org.gecode.JavaBranching |
| Base class for implementing a branching in Java. More... | |
| class | org.gecode.JavaBranchingDesc |
| Description of a branching to be used for batch recomputation. More... | |
| class | org.gecode.JavaPropagator |
| Base class for implementing a propagator in Java. More... | |
| interface | org.gecode.ModEvent |
| General modification event. More... | |
| class | org.gecode.NaryPropagator< GV extends GecodeView > |
| Base class for nary propagators. More... | |
| class | org.gecode.Propagator |
| Base class for programming Propagators. More... | |
| interface | org.gecode.PropCond |
| Propagation conditions. More... | |
Enumerations | |
| enum | org::gecode.ExecStatus |
| Status of constraint propagation and branching commit. More... | |
| enum | org::gecode.PropCost |
| Classification of propagation cost. More... | |
Functions | |
| static void | org::gecode::Gecode.addPropagator (JavaSpace home, JavaPropagator prop) |
| Add propagator prop to space home. | |
| static void | org::gecode::Gecode.addBranching (JavaSpace home, JavaBranching b) |
| Add branching b to space home. | |
| boolean | org::gecode::JavaSpace.failed () |
| Check whether space is failed. | |
Enumeration Type Documentation
Status of constraint propagation and branching commit.
- ES_FAILED: Execution has resulted in failure
- ES_NOFIX: Propagation has not computed fixpoint
- ES_OK: Execution is okay
- ES_FIX: Propagation has computed fixpoint
- ES_SUBSUMED: Propagator is subsumed (entailed)
Definition at line 23 of file ExecStatus.java.
Classification of propagation cost.
- PC_CRAZY_LO: Exponential complexity, cheap
- PC_CRAZY_HI: Exponential complexity, expensive
- PC_CUBIC_LO: Cubic complexity, cheap
- PC_CUBIC_HI: Cubic complexity, expensive
- PC_QUADRATIC_LO: Quadratic complexity, cheap
- PC_QUADRATIC_HI: Quadratic complexity, expensive
- PC_LINEAR_HI: Linear complexity, expensive
- PC_LINEAR_LO: Linear complexity, cheap
- PC_TERNARY_HI: Three variables, expensive
- PC_BINARY_HI: Two variables, expensive
- PC_TERNARY_LO: Three variables, cheap
- PC_BINARY_LO: Two variables, cheap
- PC_UNARY_LO: Only single variable, cheap
- PC_UNARY_HI: Only single variable, expensive
- Enumerator:
-
PC_CRAZY_LO PC_CRAZY_HI PC_CUBIC_LO PC_CUBIC_HI PC_QUADRATIC_LO PC_QUADRATIC_HI PC_LINEAR_HI PC_LINEAR_LO PC_TERNARY_HI PC_BINARY_HI PC_TERNARY_LO PC_BINARY_LO PC_UNARY_LO PC_UNARY_HI
Definition at line 32 of file PropCost.java.
Function Documentation
| static void org.gecode.Gecode.addPropagator | ( | JavaSpace | home, | |
| JavaPropagator | prop | |||
| ) | [static, inherited] |
| static void org.gecode.Gecode.addBranching | ( | JavaSpace | home, | |
| JavaBranching | b | |||
| ) | [static, inherited] |
| boolean org.gecode.JavaSpace.failed | ( | ) | [inherited] |
Check whether space is failed.
Note that this does not perform propagation. This is useful for posting actors: only if a space is not yet failed, new actors are allowed to be created.
Definition at line 101 of file JavaSpace.java.