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