Java Reference
Java Reference
A Demon is the base element of a propagation queue.
Definition: Demon.java:22
void inhibit(Solver s)
This method inhibits the demon in the search tree below the current position.
Definition: Demon.java:74
Demon(long cPtr, boolean cMemoryOwn)
Definition: Demon.java:25
void desinhibit(Solver s)
This method un-inhibits the demon that was previously inhibited.
Definition: Demon.java:81
A BaseObject is the root of all reversibly allocated objects.
Definition: BaseObject.java:16
Solver Class A solver represents the main computation engine.
Definition: Solver.java:73