C++ Reference: class DecisionBuilder

Note: This documentation is automatically generated.

A DecisionBuilder is responsible for creating the search tree. The important method is Next(), which returns the next decision to execute.

Method
Accept	Return type: virtual void Arguments: ModelVisitor* const visitor
AppendMonitors	Return type: virtual void Arguments: Solver* const solver, std::vector<SearchMonitor*>* const extras This method will be called at the start of the search. It asks the decision builder if it wants to append search monitors to the list of active monitors for this search. Please note there are no checks at this point for duplication.
DebugString	Return type: std::string
DecisionBuilder
~DecisionBuilder
GetName	Return type: std::string
Next	Return type: virtual Decision* Arguments: Solver* const s This is the main method of the decision builder class. It must return a decision (an instance of the class Decision). If it returns nullptr, this means that the decision builder has finished its work.
set_name	Return type: void Arguments: const std::string& name