#include <solver_strategies.h>
Public Member Functions | |
| SearchOpts & | addSearch (uint32 i) |
| Returns the (modifiable) search options for the i'th solver. | |
| SolverOpts & | addSolver (uint32 i) |
| Returns the (modifiable) solver options for the i'th solver. | |
| BasicSatConfig () | |
| const CtxOpts & | context () const |
| Returns the options for the shared context. | |
| DecisionHeuristic * | heuristic (uint32 i) const |
| Returns the heuristic to be used in the i'th solver. | |
| uint32 | numSearch () const |
| Returns the number of search options in this config. | |
| uint32 | numSolver () const |
| Returns the number of solver options in this config. | |
| void | prepare (SharedContext &) |
| Prepares this configuration for the usage in the given context. | |
| virtual void | reset () |
| virtual void | resize (uint32 numSolver, uint32 numSearch) |
| const SearchOpts & | search (uint32 i) const |
| Returns the search options for the i'th solver of the SharedContext. | |
| const SolverOpts & | solver (uint32 i) const |
| Returns the solver options for the i'th solver to be attached to the SharedContext. | |
Private Types | |
| typedef PodVector< SearchOpts > ::type | SearchVec |
| typedef PodVector< SolverOpts > ::type | SolverVec |
Private Attributes | |
| SearchVec | search_ |
| SolverVec | solver_ |
Detailed Description
Definition at line 436 of file solver_strategies.h.
Member Typedef Documentation
typedef PodVector<SearchOpts>::type Clasp::BasicSatConfig::SearchVec [private] |
Definition at line 453 of file solver_strategies.h.
typedef PodVector<SolverOpts>::type Clasp::BasicSatConfig::SolverVec [private] |
Definition at line 452 of file solver_strategies.h.
Constructor & Destructor Documentation
Definition at line 245 of file solver_strategies.cpp.
Member Function Documentation
| SolveParams & Clasp::BasicSatConfig::addSearch | ( | uint32 | i | ) | [virtual] |
Returns the (modifiable) search options for the i'th solver.
Implements Clasp::UserConfiguration.
Definition at line 265 of file solver_strategies.cpp.
| SolverParams & Clasp::BasicSatConfig::addSolver | ( | uint32 | i | ) | [virtual] |
Returns the (modifiable) solver options for the i'th solver.
Implements Clasp::UserConfiguration.
Definition at line 261 of file solver_strategies.cpp.
| const CtxOpts& Clasp::BasicSatConfig::context | ( | ) | const [inline, virtual] |
Returns the options for the shared context.
Implements Clasp::Configuration.
Definition at line 440 of file solver_strategies.h.
| DecisionHeuristic * Clasp::BasicSatConfig::heuristic | ( | uint32 | i | ) | const [virtual] |
Returns the heuristic to be used in the i'th solver.
The function is called in Solver::startInit().
- Note:
- The returned object is owned by the caller.
Implements Clasp::Configuration.
Definition at line 258 of file solver_strategies.cpp.
| uint32 Clasp::BasicSatConfig::numSearch | ( | ) | const [inline, virtual] |
Returns the number of search options in this config.
Implements Clasp::Configuration.
Definition at line 442 of file solver_strategies.h.
| uint32 Clasp::BasicSatConfig::numSolver | ( | ) | const [inline, virtual] |
Returns the number of solver options in this config.
Implements Clasp::Configuration.
Definition at line 441 of file solver_strategies.h.
| void Clasp::BasicSatConfig::prepare | ( | SharedContext & | ) | [virtual] |
Prepares this configuration for the usage in the given context.
Implements Clasp::Configuration.
Reimplemented in Clasp::ClaspConfig.
Definition at line 249 of file solver_strategies.cpp.
| void Clasp::BasicSatConfig::reset | ( | ) | [virtual] |
Reimplemented in Clasp::ClaspConfig.
Definition at line 270 of file solver_strategies.cpp.
| void Clasp::BasicSatConfig::resize | ( | uint32 | numSolver, |
| uint32 | numSearch | ||
| ) | [virtual] |
Definition at line 276 of file solver_strategies.cpp.
| const SearchOpts& Clasp::BasicSatConfig::search | ( | uint32 | i | ) | const [inline, virtual] |
Returns the search options for the i'th solver of the SharedContext.
Implements Clasp::Configuration.
Definition at line 444 of file solver_strategies.h.
| const SolverOpts& Clasp::BasicSatConfig::solver | ( | uint32 | i | ) | const [inline, virtual] |
Returns the solver options for the i'th solver to be attached to the SharedContext.
Implements Clasp::Configuration.
Definition at line 443 of file solver_strategies.h.
Member Data Documentation
SearchVec Clasp::BasicSatConfig::search_ [private] |
Definition at line 455 of file solver_strategies.h.
SolverVec Clasp::BasicSatConfig::solver_ [private] |
Definition at line 454 of file solver_strategies.h.
The documentation for this class was generated from the following files: