Java Reference
Java Reference
SearchLimit.java
Go to the documentation of this file.
A Decision represents a choice point in the search tree.
Definition: Decision.java:14
SearchLimit(long cPtr, boolean cMemoryOwn)
Definition: SearchLimit.java:17
void keepAliveDecisionBuilder(DecisionBuilder db)
Definition: SearchLimit.java:42
Base class of all search limits.
Definition: SearchLimit.java:14
String toString()
Definition: SearchLimit.java:103
A search monitor is a simple set of callbacks to monitor all search events.
Definition: SearchMonitor.java:14
A DecisionBuilder is responsible for creating the search tree.
Definition: DecisionBuilder.java:14
void refuteDecision(Decision d)
Definition: SearchLimit.java:99
void init()
This method is called when the search limit is initialized.
Definition: SearchLimit.java:61
boolean check()
This method is called to check the status of the limit.
Definition: SearchLimit.java:54
void beginNextDecision(DecisionBuilder b)
Definition: SearchLimit.java:87
void periodicCheck()
Definition: SearchLimit.java:95