Diades::Sdmdl::FormulaData Class Reference

#include <Formula.hh>

Public Types
typedef Diades::Utils::Exception< FormulaData >	Exception

Public Member Functions
const string &	printFormula (bool observableOnly) const
	~FormulaData ()
void	printDetails () const
	FormulaData (BDD formula, int index, FormulaFactory *factory)

Static Public Member Functions
static string	typeName ()

Private Member Functions
void	printConjunction (const list< pair< int, bool > > &conjunction, string &result, bool observableOnly) const

Private Attributes
BDD	_formula
int	_dataIndex
FormulaFactory *	_factory
string	_formulaText
string	_obsFormulaText

Friends
class	Formula
class	FormulaFactory

Detailed Description

Internal structure to represent a Formula

Definition at line 36 of file Formula.hh.

Member Typedef Documentation

typedef Diades::Utils::Exception<FormulaData> Diades::Sdmdl::FormulaData::Exception

Definition at line 41 of file Formula.hh.

Constructor & Destructor Documentation

Diades::Sdmdl::FormulaData::~FormulaData ( )

inline

Definition at line 53 of file Formula.hh.

Diades::Sdmdl::FormulaData::FormulaData ( BDD  formula, int  index, FormulaFactory *  factory  )

inline

Definition at line 55 of file Formula.hh.

Member Function Documentation

void Diades::Sdmdl::FormulaData::printConjunction ( const list< pair< int, bool > > &  conjunction, string &  result, bool  observableOnly  ) const

private

void Diades::Sdmdl::FormulaData::printDetails

(

)

const

const string& Diades::Sdmdl::FormulaData::printFormula

(

bool

observableOnly

)

const

static string Diades::Sdmdl::FormulaData::typeName ( )

inlinestatic

Definition at line 40 of file Formula.hh.

Friends And Related Function Documentation

friend class Formula

friend

Definition at line 58 of file Formula.hh.

friend class FormulaFactory

friend

Definition at line 59 of file Formula.hh.

Member Data Documentation

int Diades::Sdmdl::FormulaData::_dataIndex

private

Definition at line 45 of file Formula.hh.

Referenced by Diades::Sdmdl::FormulaFactory::incrementReferences().

FormulaFactory* Diades::Sdmdl::FormulaData::_factory

private

Definition at line 46 of file Formula.hh.

BDD Diades::Sdmdl::FormulaData::_formula

private

Definition at line 44 of file Formula.hh.

string Diades::Sdmdl::FormulaData::_formulaText

mutableprivate

Definition at line 47 of file Formula.hh.

string Diades::Sdmdl::FormulaData::_obsFormulaText

mutableprivate

Definition at line 48 of file Formula.hh.

---

The documentation for this class was generated from the following file:

• /home/yannick/compilation/stable/include/sdmdl/Formula.hh