org.gecode.JavaPropagator Class Reference
[Programming actors]
Inherited by org.gecode.Propagator.
Detailed Description
Base class for implementing a propagator in Java.This class is for internal use and should not be instantiated by users of Gecode/J. To implement a propagator, extend the class Propagator instead.
Definition at line 18 of file JavaPropagator.java.
Public Member Functions | |
| void | delete () |
| void | swigReleaseOwnership () |
| void | swigTakeOwnership () |
| JavaPropagator () | |
| Initialize empty propagator. | |
| void | dispose_internal (JavaSpace home) |
| Deallocate. | |
| JavaPropagator | copy_internal (JavaSpace home, boolean share) |
| Create a copy of this propagator. | |
| ExecStatus | propagate_internal (JavaSpace home) |
| Propagation function. | |
| PropCost | cost_internal () |
| Cost function. | |
| ExecStatus | setup_internal (JavaSpace home) |
| Setup this propagator. | |
Protected Member Functions | |
| JavaPropagator (long cPtr, boolean cMemoryOwn) | |
| void | finalize () |
| void | swigDirectorDisconnect () |
Static Protected Member Functions | |
| static long | getCPtr (JavaPropagator obj) |
Protected Attributes | |
| boolean | swigCMemOwn |
Constructor & Destructor Documentation
| org.gecode.JavaPropagator.JavaPropagator | ( | long | cPtr, | |
| boolean | cMemoryOwn | |||
| ) | [protected] |
Definition at line 22 of file JavaPropagator.java.
| org.gecode.JavaPropagator.JavaPropagator | ( | ) |
Member Function Documentation
| static long org.gecode.JavaPropagator.getCPtr | ( | JavaPropagator | obj | ) | [static, protected] |
Definition at line 27 of file JavaPropagator.java.
| void org.gecode.JavaPropagator.finalize | ( | ) | [protected] |
Definition at line 31 of file JavaPropagator.java.
| void org.gecode.JavaPropagator.delete | ( | ) |
Definition at line 35 of file JavaPropagator.java.
| void org.gecode.JavaPropagator.swigDirectorDisconnect | ( | ) | [protected] |
Definition at line 43 of file JavaPropagator.java.
| void org.gecode.JavaPropagator.swigReleaseOwnership | ( | ) |
Definition at line 48 of file JavaPropagator.java.
| void org.gecode.JavaPropagator.swigTakeOwnership | ( | ) |
Definition at line 53 of file JavaPropagator.java.
| void org.gecode.JavaPropagator.dispose_internal | ( | JavaSpace | home | ) |
Deallocate.
Reimplemented in org.gecode.Propagator.
Definition at line 67 of file JavaPropagator.java.
| JavaPropagator org.gecode.JavaPropagator.copy_internal | ( | JavaSpace | home, | |
| boolean | share | |||
| ) |
Create a copy of this propagator.
Reimplemented in org.gecode.Propagator.
Definition at line 73 of file JavaPropagator.java.
| ExecStatus org.gecode.JavaPropagator.propagate_internal | ( | JavaSpace | home | ) |
Propagation function.
Reimplemented in org.gecode.Propagator.
Definition at line 80 of file JavaPropagator.java.
| PropCost org.gecode.JavaPropagator.cost_internal | ( | ) |
Cost function.
Reimplemented in org.gecode.Propagator.
Definition at line 86 of file JavaPropagator.java.
| ExecStatus org.gecode.JavaPropagator.setup_internal | ( | JavaSpace | home | ) |
Setup this propagator.
Reimplemented in org.gecode.Propagator.
Definition at line 92 of file JavaPropagator.java.
Member Data Documentation
boolean org.gecode.JavaPropagator.swigCMemOwn [protected] |
Definition at line 20 of file JavaPropagator.java.
The documentation for this class was generated from the following file:
- org/gecode/JavaPropagator.java