Clasp::SequentialSolve Class Reference

#include <solve_algorithms.h>

Inheritance diagram for Clasp::SequentialSolve:

List of all members.

Classes
struct	InterruptHandler
Public Member Functions
virtual void	enableInterrupts ()
	Prepares the algorithm for handling (asynchronous) calls to SolveAlgorithm::terminate(int).
virtual bool	interrupted () const
virtual void	resetSolve ()
	Resets solving state and sticky messages like terminate.
	SequentialSolve (Enumerator *enumerator=0, const SolveLimits &limit=SolveLimits())
	~SequentialSolve ()
Protected Member Functions
virtual bool	doInterrupt ()
	Shall return true if termination is supported, otherwise false.
virtual bool	doSolve (SharedContext &ctx, const LitVec &assume)
	The actual solve algorithm.
Private Attributes
InterruptHandler *	term_

---

Detailed Description

Definition at line 187 of file solve_algorithms.h.

---

Constructor & Destructor Documentation

Clasp::SequentialSolve::SequentialSolve	(	Enumerator *	enumerator = 0,
		const SolveLimits &	limit = SolveLimits()
	)		[explicit]

Definition at line 280 of file solve_algorithms.cpp.

Clasp::SequentialSolve::~SequentialSolve

(

)

Definition at line 284 of file solve_algorithms.cpp.

---

Member Function Documentation

bool Clasp::SequentialSolve::doInterrupt

(

)

[protected, virtual]

Shall return true if termination is supported, otherwise false.

Implements Clasp::SolveAlgorithm.

Definition at line 288 of file solve_algorithms.cpp.

bool Clasp::SequentialSolve::doSolve	(	SharedContext &	ctx,
		const LitVec &	assume
	)		[protected, virtual]

The actual solve algorithm.

Implements Clasp::SolveAlgorithm.

Definition at line 292 of file solve_algorithms.cpp.

void Clasp::SequentialSolve::enableInterrupts

(

)

[virtual]

Prepares the algorithm for handling (asynchronous) calls to SolveAlgorithm::terminate(int).

Implements Clasp::SolveAlgorithm.

Definition at line 289 of file solve_algorithms.cpp.

bool Clasp::SequentialSolve::interrupted

(

)

const [virtual]

Implements Clasp::SolveAlgorithm.

Definition at line 290 of file solve_algorithms.cpp.

void Clasp::SequentialSolve::resetSolve

(

)

[virtual]

Resets solving state and sticky messages like terminate.

Note:

The function must be called between successive calls to solve().

Implements Clasp::SolveAlgorithm.

Definition at line 287 of file solve_algorithms.cpp.

---

Member Data Documentation

InterruptHandler* Clasp::SequentialSolve::term_ [private]

Definition at line 198 of file solve_algorithms.h.

---

The documentation for this class was generated from the following files:

• solve_algorithms.h
• solve_algorithms.cpp