include/dlvhex2/ASPSolver.h File Reference

ASP solver software implementations. More...

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/ASPSolverManager.h"
#include "dlvhex2/Error.h"
#include <boost/shared_ptr.hpp>
#include <boost/scoped_ptr.hpp>
#include <vector>

Include dependency graph for ASPSolver.h:

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

Go to the source code of this file.

Data Structures
struct	ASPSolver::DLVSoftware
	Interface to DLV software. More...
struct	ASPSolver::DLVSoftware::Options
	Specific options for DLV. More...
class	ASPSolver::DLVSoftware::Delegate
	The delegate for DLVSoftware. More...
Namespaces
namespace	ASPSolver

---

Detailed Description

ASP solver software implementations.

Author:

Peter Schller

Date:

Tue Nov 15 17:29:45 CET 2005

Definition in file ASPSolver.h.