Universe::IUniverseConfigurableSolver class
#include <IUniverseConfigurableSolver.hpp>

Contents

The IUniverseConfigurableSolver interface defines the contract of a solver that can be configured.

Public functions

auto getSolverConfigurations() const -> const std::vector<Universe::UniverseConfiguration>& pure virtual
auto getVariableSelectionHeuristics() const -> const std::vector<Universe::UniverseConfiguration>& pure virtual
auto getValueSelectionHeuristics() const -> const std::vector<Universe::UniverseConfiguration>& pure virtual
auto getRestartPolicies() const -> const std::vector<Universe::UniverseConfiguration>& pure virtual
auto getLearnedConstraintDeletionStrategies() const -> const std::vector<Universe::UniverseConfiguration>& pure virtual
auto getCurrentSolverConfiguration() const -> const Universe::UniverseConfiguration& pure virtual
auto getCurrentVariableSelectionHeuristic() const -> const Universe::UniverseConfiguration& pure virtual
auto getCurrentValueSelectionHeuristic() const -> const Universe::UniverseConfiguration& pure virtual
auto getCurrentRestartPolicy() const -> const Universe::UniverseConfiguration& pure virtual
auto getCurrentLearntConstraintDeletionStrategy() const -> const Universe::UniverseConfiguration& pure virtual
void setSolverConfiguration(const Universe::UniverseConfiguration& solverConfiguration) pure virtual
void setVariableSelectionHeuristic(const Universe::UniverseConfiguration& varh) pure virtual
void setValueSelectionHeuristic(const Universe::UniverseConfiguration& valh) pure virtual
void setRestartPolicy(const Universe::UniverseConfiguration& restart) pure virtual
void restartNow() pure virtual
void setLearntConstraintDeletionStrategy(const Universe::UniverseConfiguration& deletion) pure virtual
void cleanNow() pure virtual

Function documentation

const std::vector<Universe::UniverseConfiguration>& Universe::IUniverseConfigurableSolver::getSolverConfigurations() const pure virtual

Returns The list of the main configurations.

Gives all "main" solver configurations for this solver.

const std::vector<Universe::UniverseConfiguration>& Universe::IUniverseConfigurableSolver::getVariableSelectionHeuristics() const pure virtual

Returns The variable selection heuristics recognized by this solver.

Gives all configurations recognized by this solver for its variable selection heuristic.

const std::vector<Universe::UniverseConfiguration>& Universe::IUniverseConfigurableSolver::getValueSelectionHeuristics() const pure virtual

Returns The value selection heuristics recognized by this solver.

Gives all configurations recognized by this solver for its value selection heuristic.

const std::vector<Universe::UniverseConfiguration>& Universe::IUniverseConfigurableSolver::getRestartPolicies() const pure virtual

Returns The restart policies recognized by this solver.

Gives all configurations recognized by this solver for its restart policy.

const std::vector<Universe::UniverseConfiguration>& Universe::IUniverseConfigurableSolver::getLearnedConstraintDeletionStrategies() const pure virtual

Returns The learned constraint deletion strategies recognized by this solver.

Gives all configurations recognized by this solver for its learned constraint deletion strategies.

const Universe::UniverseConfiguration& Universe::IUniverseConfigurableSolver::getCurrentSolverConfiguration() const pure virtual

Returns The current main configuration.

Gives the "main" solver configuration currently used this solver.

const Universe::UniverseConfiguration& Universe::IUniverseConfigurableSolver::getCurrentVariableSelectionHeuristic() const pure virtual

Returns The current variable selection heuristic.

Gives the variable selection heuristic currently used by this solver.

const Universe::UniverseConfiguration& Universe::IUniverseConfigurableSolver::getCurrentValueSelectionHeuristic() const pure virtual

Returns The current value selection heuristic.

Gives the value selection heuristic currently used by this solver.

const Universe::UniverseConfiguration& Universe::IUniverseConfigurableSolver::getCurrentRestartPolicy() const pure virtual

Returns The current restart policy.

Gives the restart policy currently used by this solver.

const Universe::UniverseConfiguration& Universe::IUniverseConfigurableSolver::getCurrentLearntConstraintDeletionStrategy() const pure virtual

Returns The current learned constraint deletion strategy.

Gives the learned constraint deletion strategy currently used by this solver.

void Universe::IUniverseConfigurableSolver::setSolverConfiguration(const Universe::UniverseConfiguration& solverConfiguration) pure virtual

Parameters
solverConfiguration The main configuration to use.

Sets the "main" solver configuration currently to use in this solver.

void Universe::IUniverseConfigurableSolver::setVariableSelectionHeuristic(const Universe::UniverseConfiguration& varh) pure virtual

Parameters
varh The variable selection heuristic to use.

Sets the variable selection heuristic to use in this solver.

void Universe::IUniverseConfigurableSolver::setValueSelectionHeuristic(const Universe::UniverseConfiguration& valh) pure virtual

Parameters
valh The value selection heuristic to use.

Sets the value selection heuristic to use in this solver.

void Universe::IUniverseConfigurableSolver::setRestartPolicy(const Universe::UniverseConfiguration& restart) pure virtual

Parameters
restart The restart policy to use.

Sets the restart policy to use in this solver.

void Universe::IUniverseConfigurableSolver::restartNow() pure virtual

Forces this solver to perform a restart now.

void Universe::IUniverseConfigurableSolver::setLearntConstraintDeletionStrategy(const Universe::UniverseConfiguration& deletion) pure virtual

Parameters
deletion The learned constraint deletion strategy to use.

Sets the learned constraint deletion strategy to use in this solver.

void Universe::IUniverseConfigurableSolver::cleanNow() pure virtual

Forces this solver to clean its learned constraints now.