Base class for user-provided configurations. More...
#include <solver_strategies.h>
Inheritance diagram for Clasp::UserConfiguration:
Public Member Functions | |
| virtual bool | addPost (Solver &s) const |
| Adds post propagators to the given solver. | |
| virtual SearchOpts & | addSearch (uint32 i)=0 |
| Returns the (modifiable) search options for the i'th solver. | |
| virtual SolverOpts & | addSolver (uint32 i)=0 |
| Returns the (modifiable) solver options for the i'th solver. | |
Detailed Description
Base class for user-provided configurations.
Definition at line 421 of file solver_strategies.h.
Member Function Documentation
| bool Clasp::UserConfiguration::addPost | ( | Solver & | s | ) | const [virtual] |
Adds post propagators to the given solver.
The function is called during initialization of s. The default implementation calls Configuration::addPost(s) and adds a lookahead post propagator if necessary.
Reimplemented from Clasp::Configuration.
Definition at line 237 of file solver_strategies.cpp.
| virtual SearchOpts& Clasp::UserConfiguration::addSearch | ( | uint32 | i | ) | [pure virtual] |
Returns the (modifiable) search options for the i'th solver.
Implemented in Clasp::BasicSatConfig.
| virtual SolverOpts& Clasp::UserConfiguration::addSolver | ( | uint32 | i | ) | [pure virtual] |
Returns the (modifiable) solver options for the i'th solver.
Implemented in Clasp::BasicSatConfig.
The documentation for this class was generated from the following files: