ProfiledDecisionBuilder

Detailed Description

Definition at line 3391 of file constraint_solver.h.

Public Member Functions
	ProfiledDecisionBuilder (DecisionBuilder *db)
	~ProfiledDecisionBuilder () override
const std::string &	name () const
double	seconds () const
Decision *	Next (Solver *const solver) override
	This is the main method of the decision builder class. More...
std::string	DebugString () const override
void	AppendMonitors (Solver *const solver, std::vector< SearchMonitor * > *const extras) override
	This method will be called at the start of the search. More...
void	Accept (ModelVisitor *const visitor) const override
void	set_name (const std::string &name)
std::string	GetName () const

Constructor & Destructor Documentation

ProfiledDecisionBuilder()

ProfiledDecisionBuilder ( DecisionBuilder *  db )

explicit

~ProfiledDecisionBuilder()

~ProfiledDecisionBuilder ( )

inlineoverride

Definition at line 3394 of file constraint_solver.h.

Member Function Documentation

Accept()

void Accept ( ModelVisitor *const  visitor ) const

overridevirtual

Reimplemented from DecisionBuilder.

AppendMonitors()

void AppendMonitors ( Solver *const  solver, std::vector< SearchMonitor * > *const  extras  )

overridevirtual

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.

Reimplemented from DecisionBuilder.

DebugString()

std::string DebugString ( ) const

overridevirtual

Reimplemented from DecisionBuilder.

GetName()

std::string GetName ( ) const

inherited

name()

const std::string& name ( ) const

inline

Definition at line 3395 of file constraint_solver.h.

Next()

Decision* Next ( Solver *const  s )

overridevirtual

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.

Implements DecisionBuilder.

seconds()

double seconds ( ) const

inline

Definition at line 3396 of file constraint_solver.h.

set_name()

void set_name ( const std::string &  name )

inlineinherited

Definition at line 3382 of file constraint_solver.h.

---

The documentation for this class was generated from the following file:

• constraint_solver.h