dlvhex  2.5.0
Data Structures | Public Types | Public Member Functions
ASPSolverManager Class Reference

#include <include/dlvhex2/ASPSolverManager.h>

Data Structures

class  DelegateInterface
 Interface for delegates. More...
struct  GenericOptions
 Generic options usable for every solver type. More...
struct  Results
 Represents a set of answer sets, which is possibly lazily generated. More...
struct  SoftwareBase
 Generic solver software to be implemented for each solver type. More...
struct  SoftwareConfiguration
 Generic concrete software configuration, parameterized by a concrete software. More...
struct  SoftwareConfigurationBase
 Interface to a software configuration for solving. More...

Public Types

typedef boost::shared_ptr
< Results > 		ResultsPtr
typedef boost::shared_ptr
< DelegateInterface > 		DelegatePtr
typedef boost::shared_ptr
< SoftwareConfigurationBase > 		SoftwareConfigurationPtr

Public Member Functions

 ASPSolverManager ()
 Constructor.
ResultsPtr solve (const SoftwareConfigurationBase &solver, const OrdinaryASPProgram &program) throw (FatalError)
 Solve idb/edb and get result provider.
ResultsPtr solve (const SoftwareConfigurationBase &solver, InputProvider &input, RegistryPtr reg) throw (FatalError)
 Solve program from input provider (i.e., an input stream).

Detailed Description

Definition at line 56 of file ASPSolverManager.h.

Member Typedef Documentation

typedef boost::shared_ptr<DelegateInterface> ASPSolverManager::DelegatePtr

Definition at line 103 of file ASPSolverManager.h.

typedef boost::shared_ptr<Results> ASPSolverManager::ResultsPtr

Definition at line 84 of file ASPSolverManager.h.

typedef boost::shared_ptr<SoftwareConfigurationBase> ASPSolverManager::SoftwareConfigurationPtr

Definition at line 132 of file ASPSolverManager.h.

Constructor & Destructor Documentation

ASPSolverManager::ASPSolverManager ( )

Constructor.

Definition at line 58 of file ASPSolverManager.cpp.

Member Function Documentation

ASPSolverManager::ResultsPtr ASPSolverManager::solve ( const SoftwareConfigurationBase &  solver,
const OrdinaryASPProgram &  program 
) throw (FatalError)

Solve idb/edb and get result provider.

solve idb/edb and get result provider

Parameters:
solverSolver software to use.
programProgram to solve.
Returns:
Results.

Definition at line 64 of file ASPSolverManager.cpp.

Referenced by DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver::ASMOrdinaryASPSolver(), EvalHeuristicASP::build(), WellfoundedModelGenerator::generateNextModel(), PlainModelGenerator::generateNextModel(), and GuessAndCheckModelGenerator::GuessAndCheckModelGenerator().

ASPSolverManager::ResultsPtr ASPSolverManager::solve ( const SoftwareConfigurationBase &  solver,
InputProvider &  input,
RegistryPtr  reg 
) throw (FatalError)

Solve program from input provider (i.e., an input stream).

solve program from input provider (i.e., an input stream)

Parameters:
solverSolver software to use.
inputInputProvider to read from.
regRegistry for adding parsed symbols to.
Returns:
Results.

Definition at line 75 of file ASPSolverManager.cpp.

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