OKlibrary  0.2.1.6
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

Definition at line 31 of file DLL_Algorithms.hpp.


Function Documentation


Variable Documentation

Definition at line 33 of file DLL_Algorithms.hpp.

Referenced by DLL_1(), and main().