C++ Reference: class SearchLimit

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