Clasp::ClaspFacade::SolveStrategy Struct Reference

Collaboration diagram for Clasp::ClaspFacade::SolveStrategy:

Public Types
enum	State {   state_start = 0, state_running = 1, state_result = 2, state_model = 3,   state_done = 6 }

Public Member Functions
	SolveStrategy ()
virtual	~SolveStrategy ()
bool	running () const
bool	interrupt (int sig)
void	solve (ClaspFacade &f, SolveAlgorithm *algo, EventHandler *h)
virtual void	release ()
virtual bool	cancel (int)

Public Attributes
Clasp::atomic< int >	state
Clasp::atomic< int >	signal
SolveAlgorithm *	algo
EventHandler *	handler

Static Public Attributes
static const int	SIGCANCEL = 9

Protected Member Functions
void	solveImpl (ClaspFacade &f, State end)
virtual void	doSolve (ClaspFacade &f)=0

Member Enumeration Documentation

enum Clasp::ClaspFacade::SolveStrategy::State

Enumerator
state_start
state_running
state_result
state_model
state_done

Constructor & Destructor Documentation

Clasp::ClaspFacade::SolveStrategy::SolveStrategy ( )

inline

virtual Clasp::ClaspFacade::SolveStrategy::~SolveStrategy ( )

inlinevirtual

Member Function Documentation

virtual bool Clasp::ClaspFacade::SolveStrategy::cancel ( int  )

inlinevirtual

Here is the call graph for this function:

virtual void Clasp::ClaspFacade::SolveStrategy::doSolve ( ClaspFacade &  f )

protectedpure virtual

bool Clasp::ClaspFacade::SolveStrategy::interrupt ( int  sig )

inline

Here is the call graph for this function:

virtual void Clasp::ClaspFacade::SolveStrategy::release ( )

inlinevirtual

bool Clasp::ClaspFacade::SolveStrategy::running ( ) const

inline

void Clasp::ClaspFacade::SolveStrategy::solve ( ClaspFacade &  f, SolveAlgorithm *  algo, EventHandler *  h  )

inline

Here is the call graph for this function:

void Clasp::ClaspFacade::SolveStrategy::solveImpl ( ClaspFacade &  f, State  end  )

protected

Here is the call graph for this function:

Member Data Documentation

SolveAlgorithm* Clasp::ClaspFacade::SolveStrategy::algo

EventHandler* Clasp::ClaspFacade::SolveStrategy::handler

const int Clasp::ClaspFacade::SolveStrategy::SIGCANCEL = 9

static

Clasp::atomic<int> Clasp::ClaspFacade::SolveStrategy::signal

Clasp::atomic<int> Clasp::ClaspFacade::SolveStrategy::state

---

The documentation for this struct was generated from the following file:

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/src/clasp_facade.cpp