Declaration of ASP solving facility (for concrete solvers see ASPSolver.h). More...

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/ID.h"
#include "dlvhex2/OrdinaryASPProgram.h"
#include "dlvhex2/AnswerSet.h"
#include "dlvhex2/Error.h"
#include "dlvhex2/ConcurrentMessageQueueOwning.h"
#include "dlvhex2/InputProvider.h"
#include <boost/shared_ptr.hpp>
#include <vector>
#include <list>

Include dependency graph for ASPSolverManager.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	ASPSolverManager
struct	ASPSolverManager::GenericOptions
	Generic options usable for every solver type. More...
struct	ASPSolverManager::Results
	Represents a set of answer sets, which is possibly lazily generated. More...
class	ASPSolverManager::DelegateInterface
	Interface for delegates. More...
struct	ASPSolverManager::SoftwareBase
	Generic solver software to be implemented for each solver type. More...
struct	ASPSolverManager::SoftwareConfigurationBase
	Interface to a software configuration for solving. More...
struct	ASPSolverManager::SoftwareConfiguration< SoftwareT >
	Generic concrete software configuration, parameterized by a concrete software. More...
class	PreparedResults
	Results that are not streamed but provided to be incrementally requested. More...
struct	AnswerSetQueueElement
	Stores one answer set. More...
class	ConcurrentQueueResults
	Results that are not streamed but provided to be incrementally requested. More...
Typedefs
typedef boost::shared_ptr < Registry >	RegistryPtr
typedef boost::shared_ptr < PreparedResults >	PreparedResultsPtr
typedef boost::shared_ptr < AnswerSetQueueElement >	AnswerSetQueueElementPtr
typedef ConcurrentMessageQueueOwning < AnswerSetQueueElement >	AnswerSetQueue
typedef boost::shared_ptr < AnswerSetQueue >	AnswerSetQueuePtr
typedef boost::shared_ptr < ConcurrentQueueResults >	ConcurrentQueueResultsPtr