C++ Reference: class ProfiledDecisionBuilder

Note: This documentation is automatically generated.

Method
Accept

Return type: void

Arguments: ModelVisitor* const visitor

AppendMonitors

Return type: void

Arguments: Solver* const solver, std::vector<SearchMonitor*>* const extras

DebugString

Return type: std::string

name

Return type: const std::string&

Next

Return type: Decision*

Arguments: Solver* const solver

ProfiledDecisionBuilder

Return type: explicit

Arguments: DecisionBuilder* db

~ProfiledDecisionBuilder

seconds

Return type: double