Formula.hh File Reference

Formula class using BDD. More...

#include <vector>
#include <list>
#include <unordered_map>
#include <string>
#include <cuddObj.hh>
#include <diades/utils/Exceptions.hh>
#include <diades/utils/Assertion.hh>
#include <diades/utils/Verbose.hh>
#include <diades/sdmdl/Variable.hh>

Go to the source code of this file.

Classes
class	Diades::Sdmdl::Formula
class	Diades::Sdmdl::FormulaBox
class	Diades::Sdmdl::FormulaFactory
class	Diades::Sdmdl::FormulaFactory::CubeNode
struct	Diades::Sdmdl::FormulaBinaryOperator< OP >
struct	Diades::Sdmdl::FormulaUnaryOperator< OP >

Namespaces
	Diades
	Namespace of the Diades project.
	Diades::Sdmdl

Typedefs
typedef Formula::FormulaVector	Diades::Sdmdl::FormulaVector

Functions
void	Diades::Sdmdl::printFormula (const Formula &formula, ostream &os)
template<Formula::UnaryOperator UnaryOp>
FormulaVector &	Diades::Sdmdl::applyUnaryOperator (FormulaVector &formulas)
FormulaVector &	Diades::Sdmdl::notF (FormulaVector &formulas)
template<Formula::BinaryOperator BinaryOp>
FormulaVector &	Diades::Sdmdl::applyBinaryOperator (FormulaVector &formulas, const Formula &f2)
FormulaVector &	Diades::Sdmdl::andF (FormulaVector &formulas, const Formula &f)
FormulaVector &	Diades::Sdmdl::orF (FormulaVector &formulas, const Formula &f)

Detailed Description

Formula class using BDD.

Author

Yannick Pencole yanni.nosp@m.ck@s.nosp@m.ocrat.nosp@m.e.la.nosp@m.as.fr

Date

Thu Jun 9 05:48:32 2011

Definition in file Formula.hh.