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.