Programming search engines
[Functionality by programming task]
Collaboration diagram for Programming search engines:
|
Classes | |
| class | org.gecode.BranchingDesc |
| Branch description for batch recomputation. More... | |
Enumerations | |
| enum | org::gecode.SpaceStatus { org::gecode.SS_FAILED, org::gecode.SS_SOLVED, org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next } |
| Space status More... | |
Functions | |
| JavaSpace | org::gecode::JavaSpace.cloneSpace () |
| Clone space. | |
| SpaceStatus | org::gecode::JavaSpace.status (long[] OUTPUT) |
| Query space status. | |
| SpaceStatus | org::gecode::JavaSpace.status () |
| Query space status. | |
| BranchingDesc | org::gecode::JavaSpace.description () |
| Get branching description for current branching. | |
Enumeration Type Documentation
Space status
- SS_FAILED: Space is failed
- SS_SOLVED: Space is solved (no branching left)
- SS_BRANCH: Space must be branched (at least one branching left)
Definition at line 21 of file SpaceStatus.java.
Function Documentation
| JavaSpace org.gecode.JavaSpace.cloneSpace | ( | ) | [inherited] |
Clone space.
Propagates the space until fixpoint. If propagation results in a failed space, an exception of type SpaceFailed is thrown.
Otherwise, a clone of the space is returned. If shared is true, sharable datastructures are shared among the clone and the original space. If shared is false, independent copies of the shared datastructures must be created. This means that a clone with no sharing can be used in a different thread without any interaction with the original space.
Reimplemented in org.gecode.Space.
Definition at line 119 of file JavaSpace.java.
| SpaceStatus org.gecode.JavaSpace.status | ( | long[] | OUTPUT | ) | [inherited] |
Query space status.
Propagates the space until fixpoint or failure.
If the space is failed, Gecode.SS_FAILED is returned. If the space is not failed and has no branchings left, Gecode.SS_SOLVED is returned, and OUTPUT is assigned 0. Otherwise, Gecode.SS_BRANCH is returned, and OUTPUT is assigned the number of alternatives of the branching.
Definition at line 146 of file JavaSpace.java.
| SpaceStatus org.gecode.JavaSpace.status | ( | ) | [inherited] |
Query space status.
Propagates the space until fixpoint or failure.
If the space is failed, Gecode.SS_FAILED is returned. If the space is not failed and has no branchings left, Gecode.SS_SOLVED is returned. Otherwise, Gecode.SS_BRANCH is returned.
Definition at line 160 of file JavaSpace.java.
| BranchingDesc org.gecode.JavaSpace.description | ( | ) | [inherited] |
Get branching description for current branching.
This member function can only be called after the member function Space.status on the same space has been called and in between no non-const member function has been called on this space.
Note that the above invariant obly pertains to calls of member functions of the same space. If the invariant is violated, the system is likely to crash (hopefully it does). In particular, if applied to a space with no current branching, the system will crash.
Definition at line 178 of file JavaSpace.java.