Public Types | |
| typedef SingleOwnerPtr < SolveAlgorithm > | AlgoPtr |
| typedef SingleOwnerPtr < Enumerator > | EnumPtr |
Public Member Functions | |
| void | init (SolveAlgorithm *algo, Enumerator *en) |
| bool | interrupt (int sig) |
| const Model * | lastModel () const |
| const SharedMinimizeData * | minimizer () const |
| int | modelType () const |
| bool | optimize () const |
| void | prepare (SharedContext &ctx, SharedMinimizeData *min, int numM) |
| void | reset () |
| SolveImpl () | |
| bool | solving () const |
| bool | update (const Solver &s, const Model &m) |
| ~SolveImpl () | |
Public Attributes | |
| SolveStrategy * | active |
| AlgoPtr | algo |
| EnumPtr | en |
Definition at line 119 of file clasp_facade.cpp.
Definition at line 120 of file clasp_facade.cpp.
Definition at line 121 of file clasp_facade.cpp.
| Clasp::ClaspFacade::SolveImpl::SolveImpl | ( | ) | [inline] |
Definition at line 122 of file clasp_facade.cpp.
| Clasp::ClaspFacade::SolveImpl::~SolveImpl | ( | ) | [inline] |
Definition at line 123 of file clasp_facade.cpp.
| void Clasp::ClaspFacade::SolveImpl::init | ( | SolveAlgorithm * | algo, |
| Enumerator * | en | ||
| ) | [inline] |
Definition at line 124 of file clasp_facade.cpp.
| bool Clasp::ClaspFacade::SolveImpl::interrupt | ( | int | sig | ) | [inline] |
Definition at line 140 of file clasp_facade.cpp.
| const Model* Clasp::ClaspFacade::SolveImpl::lastModel | ( | ) | const [inline] |
Definition at line 142 of file clasp_facade.cpp.
| const SharedMinimizeData* Clasp::ClaspFacade::SolveImpl::minimizer | ( | ) | const [inline] |
Definition at line 143 of file clasp_facade.cpp.
| int Clasp::ClaspFacade::SolveImpl::modelType | ( | ) | const [inline] |
Definition at line 145 of file clasp_facade.cpp.
| bool Clasp::ClaspFacade::SolveImpl::optimize | ( | ) | const [inline] |
Definition at line 144 of file clasp_facade.cpp.
| void Clasp::ClaspFacade::SolveImpl::prepare | ( | SharedContext & | ctx, |
| SharedMinimizeData * | min, | ||
| int | numM | ||
| ) | [inline] |
Definition at line 134 of file clasp_facade.cpp.
| void Clasp::ClaspFacade::SolveImpl::reset | ( | ) | [inline] |
Definition at line 129 of file clasp_facade.cpp.
| bool Clasp::ClaspFacade::SolveImpl::solving | ( | ) | const [inline] |
Definition at line 141 of file clasp_facade.cpp.
| bool Clasp::ClaspFacade::SolveImpl::update | ( | const Solver & | s, |
| const Model & | m | ||
| ) | [inline] |
Definition at line 139 of file clasp_facade.cpp.
Definition at line 148 of file clasp_facade.cpp.
Definition at line 147 of file clasp_facade.cpp.
Definition at line 146 of file clasp_facade.cpp.