org.gecode.JavaSpace Class Reference
Inherited by org.gecode.Space.Detailed Description
Base class for Java-representation of Spaces.This class represents and manages the connection between Gecode Spaces and Gecode/J spaces.
Definition at line 18 of file JavaSpace.java.
Public Member Functions | |
| void | delete () |
| void | swigReleaseOwnership () |
| void | swigTakeOwnership () |
| JavaSpace () | |
| Default constructor. | |
| JavaSpace (boolean share, JavaSpace s) | |
| Constructor for cloning. | |
| JavaSpace | copy_internal (boolean share) |
| Copy space. | |
| void | constrain_internal (JavaSpace homeSpace) |
| Relate this to homeSpace for optimizing search. | |
| boolean | failed () |
| Check whether space is failed. | |
| JavaSpace | cloneSpace () |
| Clone space. | |
| void | commit (BranchingDesc bd, long alt) |
| Commit space to alternative alt. | |
| SpaceStatus | status (long[] OUTPUT) |
| Query space status. | |
| SpaceStatus | status () |
| Query space status. | |
| BranchingDesc | description () |
| Get branching description for current branching. | |
Protected Member Functions | |
| JavaSpace (long cPtr, boolean cMemoryOwn) | |
| void | finalize () |
| void | swigDirectorDisconnect () |
Static Protected Member Functions | |
| static long | getCPtr (JavaSpace obj) |
Protected Attributes | |
| boolean | swigCMemOwn |
Constructor & Destructor Documentation
| org.gecode.JavaSpace.JavaSpace | ( | long | cPtr, | |
| boolean | cMemoryOwn | |||
| ) | [protected] |
Definition at line 22 of file JavaSpace.java.
| org.gecode.JavaSpace.JavaSpace | ( | ) |
Member Function Documentation
| static long org.gecode.JavaSpace.getCPtr | ( | JavaSpace | obj | ) | [static, protected] |
Definition at line 27 of file JavaSpace.java.
| void org.gecode.JavaSpace.finalize | ( | ) | [protected] |
Definition at line 31 of file JavaSpace.java.
| void org.gecode.JavaSpace.delete | ( | ) |
Definition at line 35 of file JavaSpace.java.
| void org.gecode.JavaSpace.swigDirectorDisconnect | ( | ) | [protected] |
Definition at line 43 of file JavaSpace.java.
| void org.gecode.JavaSpace.swigReleaseOwnership | ( | ) |
Definition at line 48 of file JavaSpace.java.
| void org.gecode.JavaSpace.swigTakeOwnership | ( | ) |
Definition at line 53 of file JavaSpace.java.
| void org.gecode.JavaSpace.constrain_internal | ( | JavaSpace | homeSpace | ) |
Relate this to homeSpace for optimizing search.
Reimplemented in org.gecode.Space.
Definition at line 90 of file JavaSpace.java.
| void org.gecode.JavaSpace.commit | ( | BranchingDesc | bd, | |
| long | alt | |||
| ) |
Commit space to alternative alt.
If bd is not supplied, then alternative alt will be taken after the space has propagated to a fixpoint.
If bd is supplied, then the space will commit to alternative alt of bd, without propagating.
Definition at line 131 of file JavaSpace.java.
Member Data Documentation
boolean org.gecode.JavaSpace.swigCMemOwn [protected] |
Definition at line 20 of file JavaSpace.java.
The documentation for this class was generated from the following file:
- org/gecode/JavaSpace.java