CarriedVariable.hh

Go to the documentation of this file.

#ifndef __DIADES__ALTARICA_CARRIEDVARIABLE__HH
#define __DIADES__ALTARICA_CARRIEDVARIABLE__HH
#include <list>
#include <iterator>
#include "Node.hh"


namespace Diades
{
  namespace Altarica
  {
  
        typedef pair<Variable,Formula> CarriedVariable;
        

        bool getCarriedVariablesFromIteExpression(IteExpression * ite,
                                                                                          FormulaFactory & factory, const string & varPrefixName,
                                                                                          const Formula & context,
                                                                                          vector<CarriedVariable> & variables);

        bool getCarriedVariablesFromCaseExpression(CaseExpression * caseExpr, FormulaFactory & factory, const string & varPrefixName,
                                                                                           const Formula & context,
                                                                                           vector<CarriedVariable> & variables);
        
  
        bool getCarriedVariablesFromStructMemberExpression(StructMemberExpression * smExpr, FormulaFactory & factory, const string & varPrefixName,
                                                                                                           const Formula & context,
                                                                                                           vector<CarriedVariable> & variables);

        bool getCarriedVariablesFromVarExpression(VarExpression * varExpr,
                                                                                          FormulaFactory & factory, const string & varPrefixName,
                                                                                          const Formula & context,
                                                                                          vector<CarriedVariable> & variables);

        template <class BinaryExpressionPtr>
        bool getCarriedVariablesFromBinaryExpression(BinaryExpressionPtr expr,
                                                         FormulaFactory & factory, const string & varPrefixName,
                                                                                                 const Formula & context, vector<CarriedVariable> & variables);  
        
        
        template <class UnaryExpressionPtr>
        bool getCarriedVariablesFromUnaryExpression(UnaryExpressionPtr expr,
                                                                                                FormulaFactory & factory, const string & varPrefixName,
                                                                                                const Formula & context, vector<CarriedVariable> & variables);

        
        template <class BodyExpressionPtr>
        bool getCarriedVariablesFromBodyExpression(BodyExpressionPtr expr,
                                                                                                 FormulaFactory & factory, const string & varPrefixName,
                                                                                           const Formula & context, vector<CarriedVariable> & variables);
        
          bool getCarriedVariablesFromStructureExpression(StructExpression * expr,
                                                                                                          FormulaFactory & factory, const string & varPrefixName,
                                                                                                          const Formula & context, vector<CarriedVariable> & variables);

        
        bool getCarriedVariables(Expression * expr,
                                                         FormulaFactory & factory, const string & varPrefixName,
                                                         const Formula & context, vector<CarriedVariable> & variables);
        

  };
};

#endif