Java Reference
Java Reference
void init()
This method is called when the search limit is initialized.
Definition: SearchLimit.java:62
void periodicCheck()
Periodic call to check limits in long running methods.
Definition: SearchLimit.java:93
SearchLimit(long cPtr, boolean cMemoryOwn)
Definition: SearchLimit.java:17
A DecisionBuilder is responsible for creating the search tree.
Definition: DecisionBuilder.java:15
void beginNextDecision(DecisionBuilder b)
Before calling DecisionBuilder::Next.
Definition: SearchLimit.java:89
boolean check()
This method is called to check the status of the limit.
Definition: SearchLimit.java:55
A Decision represents a choice point in the search tree.
Definition: Decision.java:15
A search monitor is a simple set of callbacks to monitor all search events.
Definition: SearchMonitor.java:14
String toString()
Definition: SearchLimit.java:101
Base class of all search limits.
Definition: SearchLimit.java:14