Class solver::Solver

Interface for a Solver.

A solver is initialized, run and then asked to print a result.

Inheritance
observe::Observer
solver::Solver
solver::ModelSolver
Inherited Members

Constructors

Solver()

Intanstiate an uninitialized Solver.

Declaration
solver::Solver::Solver()

Methods

~Solver()

Declaration
virtual solver::Solver::~Solver()

get_identifier()

Get the identifier of this solver. This identifier is denoted as the target in the request.

Declaration
virtual std::string solver::Solver::get_identifier() const =0

init()

Initialize the solver.

Declaration
virtual void solver::Solver::init()=0

run()

Run the solver.

SteppingSolver

Declaration
virtual void solver::Solver::run()=0

get_solutions()

Get the structured result description.

Declaration
virtual utils::Structure solver::Solver::get_solutions() const =0

get_model_properties()

Declaration
virtual utils::Structure solver::Solver::get_model_properties() const

get_solver_properties()

Declaration
virtual utils::Structure solver::Solver::get_solver_properties() const

get_model_sweep_size()

Declaration
virtual size_t solver::Solver::get_model_sweep_size() const =0

get_benchmark()

Declaration
utils::Structure solver::Solver::get_benchmark() const

get_result()

Declaration
utils::Structure solver::Solver::get_result() const

configure()

Check the identifier and version against the configuraiton.

Declaration
virtual void solver::Solver::configure(const utils::Json&json)

get_thread_count()

Return the number of threads which should be used in parallel sections of the solver.

Declaration
int solver::Solver::get_thread_count() const

finalize()

Declaration
virtual void solver::Solver::finalize()

copy_limits()

Declaration
void solver::Solver::copy_limits(Solver *other) const

set_time_limit()

Declaration
void solver::Solver::set_time_limit(double value)

get_max_threads()

Return the maximum number of threads this solver can use.

Declaration
int solver::Solver::get_max_threads() const