clingo: Clasp::ClaspFacade::SolveImpl Struct Reference

Collaboration diagram for Clasp::ClaspFacade::SolveImpl:

Collaboration graph

Public Types
typedef SingleOwnerPtr < SolveAlgorithm >	AlgoPtr

typedef SingleOwnerPtr < Enumerator >	EnumPtr

Public Member Functions
	SolveImpl ()

	~SolveImpl ()

void	init (SolveAlgorithm algo, Enumerator en)

void	reset ()

void	prepare (SharedContext &ctx, SharedMinimizeData *min, int numM)

bool	update (const Solver &s, const Model &m)

bool	interrupt (int sig)

bool	solving () const

const Model *	lastModel () const

const SharedMinimizeData *	minimizer () const

bool	optimize () const

int	modelType () const

Public Attributes
EnumPtr	en

AlgoPtr	algo

SolveStrategy *	active

Member Typedef Documentation

typedef SingleOwnerPtr<SolveAlgorithm> Clasp::ClaspFacade::SolveImpl::AlgoPtr

typedef SingleOwnerPtr<Enumerator> Clasp::ClaspFacade::SolveImpl::EnumPtr

Constructor & Destructor Documentation

Clasp::ClaspFacade::SolveImpl::SolveImpl ( )

inline

Clasp::ClaspFacade::SolveImpl::~SolveImpl ( )

inline

Here is the call graph for this function:

Member Function Documentation

void Clasp::ClaspFacade::SolveImpl::init	(	SolveAlgorithm *	algo,
		Enumerator *	en
	)

inline

Here is the call graph for this function:

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

inline

Here is the call graph for this function:

const Model* Clasp::ClaspFacade::SolveImpl::lastModel ( ) const

inline

Here is the call graph for this function:

const SharedMinimizeData* Clasp::ClaspFacade::SolveImpl::minimizer ( ) const

inline

Here is the call graph for this function:

int Clasp::ClaspFacade::SolveImpl::modelType ( ) const

inline

Here is the call graph for this function:

bool Clasp::ClaspFacade::SolveImpl::optimize ( ) const

inline

Here is the call graph for this function:

void Clasp::ClaspFacade::SolveImpl::prepare	(	SharedContext &	ctx,
		SharedMinimizeData *	min,
		int	numM
	)

inline

Here is the call graph for this function:

void Clasp::ClaspFacade::SolveImpl::reset ( )

inline

Here is the call graph for this function:

bool Clasp::ClaspFacade::SolveImpl::solving ( ) const

inline

Here is the call graph for this function:

bool Clasp::ClaspFacade::SolveImpl::update	(	const Solver &	s,
		const Model &	m
	)

inline

Here is the call graph for this function:

Member Data Documentation

SolveStrategy* Clasp::ClaspFacade::SolveImpl::active

AlgoPtr Clasp::ClaspFacade::SolveImpl::algo

EnumPtr Clasp::ClaspFacade::SolveImpl::en

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

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