Reference
C++
Python
DotNET
Java Documentation
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
Base class of all search limits.
Definition: SearchLimit.java:14
String toString()
Definition: SearchLimit.java:97
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:93
void init()
This method is called when the search limit is initialized.
Definition: SearchLimit.java:59
boolean check()
This method is called to check the status of the limit.
Definition: SearchLimit.java:52
void beginNextDecision(DecisionBuilder b)
Definition: SearchLimit.java:85
void periodicCheck()
Definition: SearchLimit.java:89