include/dlvhex2/SATSolver.h File Reference

Interface to (genuine) SAT solvers. More...

#include "dlvhex2/Nogood.h"
#include "dlvhex2/Interpretation.h"

Include dependency graph for SATSolver.h:

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

Go to the source code of this file.

Data Structures
class	SATSolver
	Base class for satisfiability solvers. More...
Typedefs
typedef SATSolver::Ptr	SATSolverPtr
typedef SATSolver::ConstPtr	SATSolverConstPtr

---

Detailed Description

Interface to (genuine) SAT solvers.

Author:

Christoph Redl <redl@kr.tuwien.ac.at>

Definition in file SATSolver.h.

---

Typedef Documentation

typedef SATSolver::ConstPtr SATSolverConstPtr

Definition at line 120 of file SATSolver.h.

typedef SATSolver::Ptr SATSolverPtr

Definition at line 119 of file SATSolver.h.