Main Page
Modules
Namespaces
Classes
Files
Class List
Class Hierarchy
Class Members
Clasp
ClaspFacade
SolveStrategy
Clasp::ClaspFacade::SolveStrategy Member List
This is the complete list of members for
Clasp::ClaspFacade::SolveStrategy
, including all inherited members.
algo
Clasp::ClaspFacade::SolveStrategy
cancel
(int)
Clasp::ClaspFacade::SolveStrategy
[inline, virtual]
doSolve
(ClaspFacade &f)=0
Clasp::ClaspFacade::SolveStrategy
[protected, pure virtual]
handler
Clasp::ClaspFacade::SolveStrategy
interrupt
(int sig)
Clasp::ClaspFacade::SolveStrategy
[inline]
release
()
Clasp::ClaspFacade::SolveStrategy
[inline, virtual]
running
() const
Clasp::ClaspFacade::SolveStrategy
[inline]
SIGCANCEL
Clasp::ClaspFacade::SolveStrategy
[static]
signal
Clasp::ClaspFacade::SolveStrategy
solve
(ClaspFacade &f, SolveAlgorithm *algo, EventHandler *h)
Clasp::ClaspFacade::SolveStrategy
[inline]
solveImpl
(ClaspFacade &f, State end)
Clasp::ClaspFacade::SolveStrategy
[protected]
SolveStrategy
()
Clasp::ClaspFacade::SolveStrategy
[inline]
state
Clasp::ClaspFacade::SolveStrategy
State
enum name
Clasp::ClaspFacade::SolveStrategy
state_done
enum value
Clasp::ClaspFacade::SolveStrategy
state_model
enum value
Clasp::ClaspFacade::SolveStrategy
state_result
enum value
Clasp::ClaspFacade::SolveStrategy
state_running
enum value
Clasp::ClaspFacade::SolveStrategy
state_start
enum value
Clasp::ClaspFacade::SolveStrategy
~SolveStrategy
()
Clasp::ClaspFacade::SolveStrategy
[inline, virtual]
clasp
Author(s): Benjamin Kaufmann
autogenerated on Thu Aug 27 2015 12:41:40