Clasp::ClaspFacade::SolveStrategy Struct Reference

List of all members.

Public Types
enum	State {   state_start = 0, state_running = 1, state_result = 2, state_model = 3,   state_done = 6 }
Public Member Functions
virtual bool	cancel (int)
bool	interrupt (int sig)
virtual void	release ()
bool	running () const
void	solve (ClaspFacade &f, SolveAlgorithm *algo, EventHandler *h)
	SolveStrategy ()
virtual	~SolveStrategy ()
Public Attributes
SolveAlgorithm *	algo
EventHandler *	handler
Clasp::atomic< int >	signal
Clasp::atomic< int >	state
Static Public Attributes
static const int	SIGCANCEL = 9
Protected Member Functions
virtual void	doSolve (ClaspFacade &f)=0
void	solveImpl (ClaspFacade &f, State end)

---

Detailed Description

Definition at line 91 of file clasp_facade.cpp.

---

Member Enumeration Documentation

enum Clasp::ClaspFacade::SolveStrategy::State

Enumerator:

state_start
state_running
state_result
state_model
state_done

Definition at line 94 of file clasp_facade.cpp.

---

Constructor & Destructor Documentation

Clasp::ClaspFacade::SolveStrategy::SolveStrategy

(

)

[inline]

Definition at line 95 of file clasp_facade.cpp.

virtual Clasp::ClaspFacade::SolveStrategy::~SolveStrategy

(

)

[inline, virtual]

Definition at line 96 of file clasp_facade.cpp.

---

Member Function Documentation

virtual bool Clasp::ClaspFacade::SolveStrategy::cancel

(

int

)

[inline, virtual]

Definition at line 110 of file clasp_facade.cpp.

virtual void Clasp::ClaspFacade::SolveStrategy::doSolve

(

ClaspFacade &

f

)

[protected, pure virtual]

bool Clasp::ClaspFacade::SolveStrategy::interrupt

(

int

sig

)

[inline]

Definition at line 98 of file clasp_facade.cpp.

virtual void Clasp::ClaspFacade::SolveStrategy::release

(

)

[inline, virtual]

Definition at line 109 of file clasp_facade.cpp.

bool Clasp::ClaspFacade::SolveStrategy::running

(

)

const [inline]

Definition at line 97 of file clasp_facade.cpp.

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

Definition at line 103 of file clasp_facade.cpp.

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

Definition at line 150 of file clasp_facade.cpp.

---

Member Data Documentation

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

Definition at line 113 of file clasp_facade.cpp.

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

Definition at line 114 of file clasp_facade.cpp.

const int Clasp::ClaspFacade::SolveStrategy::SIGCANCEL = 9 [static]

Definition at line 93 of file clasp_facade.cpp.

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

Definition at line 112 of file clasp_facade.cpp.

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

Definition at line 111 of file clasp_facade.cpp.

---

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

• clasp_facade.cpp