CarriedVariable.hh File Reference

#include <list>
#include <iterator>
#include "Node.hh"

Include dependency graph for CarriedVariable.hh:

Go to the source code of this file.

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

Typedefs
typedef pair< Variable, Formula >	Diades::Altarica::CarriedVariable

Functions
bool	Diades::Altarica::getCarriedVariablesFromIteExpression (IteExpression *ite, FormulaFactory &factory, const string &varPrefixName, const Formula &context, vector< CarriedVariable > &variables)
bool	Diades::Altarica::getCarriedVariablesFromCaseExpression (CaseExpression *caseExpr, FormulaFactory &factory, const string &varPrefixName, const Formula &context, vector< CarriedVariable > &variables)
bool	Diades::Altarica::getCarriedVariablesFromStructMemberExpression (StructMemberExpression *smExpr, FormulaFactory &factory, const string &varPrefixName, const Formula &context, vector< CarriedVariable > &variables)
bool	Diades::Altarica::getCarriedVariablesFromVarExpression (VarExpression *varExpr, FormulaFactory &factory, const string &varPrefixName, const Formula &context, vector< CarriedVariable > &variables)
template<class BinaryExpressionPtr >
bool	Diades::Altarica::getCarriedVariablesFromBinaryExpression (BinaryExpressionPtr expr, FormulaFactory &factory, const string &varPrefixName, const Formula &context, vector< CarriedVariable > &variables)
template<class UnaryExpressionPtr >
bool	Diades::Altarica::getCarriedVariablesFromUnaryExpression (UnaryExpressionPtr expr, FormulaFactory &factory, const string &varPrefixName, const Formula &context, vector< CarriedVariable > &variables)
template<class BodyExpressionPtr >
bool	Diades::Altarica::getCarriedVariablesFromBodyExpression (BodyExpressionPtr expr, FormulaFactory &factory, const string &varPrefixName, const Formula &context, vector< CarriedVariable > &variables)
bool	Diades::Altarica::getCarriedVariablesFromStructureExpression (StructExpression *expr, FormulaFactory &factory, const string &varPrefixName, const Formula &context, vector< CarriedVariable > &variables)
bool	Diades::Altarica::getCarriedVariables (Expression *expr, FormulaFactory &factory, const string &varPrefixName, const Formula &context, vector< CarriedVariable > &variables)