C++ Reference: class SearchLimit

Note: This documentation is automatically generated.

Base class of all search limits.

Method
BeginNextDecision	Return type: void Arguments: DecisionBuilder* const b
Check	Return type: virtual bool This method is called to check the status of the limit. A return value of true indicates that we have indeed crossed the limit. In that case, this method will not be called again and the remaining search will be discarded.
Copy	Return type: virtual void Arguments: const SearchLimit* const limit Copy a limit. Warning: leads to a direct (no check) downcasting of 'limit' so one needs to be sure both SearchLimits are of the same type.
crossed	Return type: bool Returns true if the limit has been crossed.
DebugString	Return type: std::string
EnterSearch	Return type: void Internal methods.
Init	Return type: virtual void This method is called when the search limit is initialized.
MakeClone	Return type: virtual SearchLimit* Allocates a clone of the limit.
PeriodicCheck	Return type: void
RefuteDecision	Return type: void Arguments: Decision* const d
SearchLimit	Return type: explicit Arguments: Solver* const s
~SearchLimit