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