Formula.h File Reference

---

Detailed Description

Propositional formula representation.

Author:

Kamil Dudka <xdudka00@gmail.com>

Date:

2008-11-05

Definition in file Formula.h.

#include "SatProblem.h"

Include dependency graph for Formula.h:

Go to the source code of this file.

Namespaces
namespace	FastSatSolver
Classes
interface	IFormulaBuilder
	Interpreted formula's interface for parser which can read it. More...
interface	IFormulaEvaluator
	Evaluable formula's interface. More...
class	InterpretedFormula
	Interpreted formula implementation. More...

---