Java Reference
Java Reference
PropagationBaseObject.java
Go to the documentation of this file.
91 mainJNI.PropagationBaseObject_set_variable_to_clean_on_fail(swigCPtr, this, IntVar.getCPtr(v), v);
PropagationBaseObject(Solver s)
Definition: PropagationBaseObject.java:42
void freezeQueue()
This method freezes the propagation queue.
Definition: PropagationBaseObject.java:58
Solver solver()
Definition: PropagationBaseObject.java:50
void reset_action_on_fail()
This method clears the failure callback.
Definition: PropagationBaseObject.java:83
boolean hasName()
Returns whether the object has been named or not.
Definition: PropagationBaseObject.java:108
The class IntVar is a subset of IntExpr.
String toString()
Definition: PropagationBaseObject.java:46
void unfreezeQueue()
This method unfreezes the propagation queue.
Definition: PropagationBaseObject.java:65
void enqueueVar(Demon d)
Definition: PropagationBaseObject.java:76
void set_variable_to_clean_on_fail(IntVar v)
Shortcut for variable cleaner.
Definition: PropagationBaseObject.java:90
String baseName()
Returns a base name for automatic naming.
Definition: PropagationBaseObject.java:115
void enqueueDelayedDemon(Demon d)
This method pushes the demon onto the propagation queue.
Definition: PropagationBaseObject.java:72
A Demon is the base element of a propagation queue.
Definition: Demon.java:14
NOLINT The PropagationBaseObject is a subclass of BaseObject that is also friend to the Solver class.
Definition: PropagationBaseObject.java:14
A BaseObject is the root of all reversibly allocated objects.
Definition: BaseObject.java:14
void setName(String name)
Definition: PropagationBaseObject.java:101
PropagationBaseObject(long cPtr, boolean cMemoryOwn)
Definition: PropagationBaseObject.java:17
Solver Class A solver represents the main computation engine.
Definition: Solver.java:57