ExpressionUtils.hh

Go to the documentation of this file.

#ifndef __DIADES__ALTARICA_EXPRESSIONUTILS__HH
#define __DIADES__ALTARICA_EXPRESSIONUTILS__HH

#include<diades/utils/Log.hh>
#include<diades/altarica/Sdmdl.hh>
#include<diades/altarica/Expression.hh>

using namespace Diades::Utils;

namespace Diades
{
  namespace Altarica
  {

        typedef Sdmdl::Formula Formula;

        
  
        /********************* SOME UTILS FOR EXPRESSION ******************************/

        Logger  expressionLogger();


        /****************************************************************************/

        
        Log exprLogDebug(const char * msg);
        
        /****************************************************************************/

        Log exprLog(const char * msg);
        

        /***************************************************************************/
        void messageLogging(Expression * expr, const string & functionName, bool result,
                                                Formula & formula);

        bool encodeExpression(Expression * expr, FormulaFactory & factory,
                                                  const string & varPrefixName, const Formula & context, Formula & formula);


        bool encodeExpressionEq(EqExpression * expr, FormulaFactory & factory,
                                                        const string & varPrefixName, const Formula & context, Formula & formula);

        bool encodeIdentifierExpressionEq(EqExpression * expr, FormulaFactory & factory,
                                                                          const string & varPrefixName, const Formula & context, Formula & formula);

        bool encodeIntegerExpressionEq(EqExpression * expr, FormulaFactory & factory,
                                                                   const string & varPrefixName, const Formula & context, Formula & formula);

        bool encodeBooleanExpressionEq(EqExpression * expr, FormulaFactory & factory,
                                                                   const string & varPrefixName, const Formula & context, Formula & formula);



        bool encodeExpressionImply(ImplyExpression * expr, FormulaFactory & factory,
                                                           const string & varPrefixName, const Formula & context, Formula & formula);


  
        bool encodeExpressionAnd(AndExpression * expr, FormulaFactory & factory,
                                                         const string & varPrefixName, const Formula & context, Formula & formula);


        bool encodeExpressionOr(OrExpression * expr, FormulaFactory & factory, const string & varPrefixName, const Formula & context, Formula & formula);


        bool encodeExpressionCase(CaseExpression * expr, FormulaFactory & factory, const string & varPrefixName, const Formula & context, Formula & formula);



        bool encodeExpressionIte(IteExpression * expr, FormulaFactory & factory, const string & varPrefixName, const Formula & context, Formula & formula);
  





        bool encodeExpressionVariable(VarExpression * expr, FormulaFactory & factory, const string & varPrefixName, const Formula & context, Formula & formula);








  


  };
};



#endif