DLL_Algorithms Namespace Reference

Classes
struct	Result
Typedefs
typedef Result	SAT_Algorithms (const Clausesets::Cls &)
Functions
DLL_Algorithms::Result	DLL_1 (const Clausesets::Cls &F)
Variables
SAT_Algorithms	DLL_1

---

Typedef Documentation

typedef Result DLL_Algorithms::SAT_Algorithms(const Clausesets::Cls &)

Definition at line 31 of file DLL_Algorithms.hpp.

---

Function Documentation

DLL_Algorithms::Result DLL_Algorithms::DLL_1

(

const Clausesets::Cls &

F

)

Definition at line 30 of file DLL_Algorithms.cpp.

References DLL_1, Clausesets::Cls::empty_clause(), Clausesets::Cls::is_empty(), sat, and Clausesets::Cls::var().

---

Variable Documentation

SAT_Algorithms DLL_Algorithms::DLL_1

Definition at line 33 of file DLL_Algorithms.hpp.

Referenced by DLL_1(), and main().