C++ Reference: class IntegerSearchHelper

Note: This documentation is automatically generated.

An helper class to share the code used by the different kind of search.

Return type: bool

Executes some code before a new decision. Returns false if model is UNSAT.


Return type: LiteralIndex

Arguments: const std::function<BooleanOrIntegerLiteral()>& f

Calls the decision heuristics and extract a non-fixed literal. Note that we do not want to copy the function here.


Return type: explicit

Arguments: Model* model


Return type: bool

Arguments: Literal decision

Tries to take the current decision, this might backjump. Returns false if the model is UNSAT.