Public Types | Public Member Functions | Public Attributes | Static Public Attributes | Protected Member Functions
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

SolveAlgorithmalgo
EventHandlerhandler
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

Enumerator:
state_start 
state_running 
state_result 
state_model 
state_done 

Definition at line 94 of file clasp_facade.cpp.


Constructor & Destructor Documentation

Definition at line 95 of file clasp_facade.cpp.

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]

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.

Definition at line 97 of file clasp_facade.cpp.

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

Definition at line 113 of file clasp_facade.cpp.

Definition at line 114 of file clasp_facade.cpp.

Definition at line 93 of file clasp_facade.cpp.

Definition at line 112 of file clasp_facade.cpp.

Definition at line 111 of file clasp_facade.cpp.


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


clasp
Author(s): Benjamin Kaufmann
autogenerated on Thu Aug 27 2015 12:41:40