smtrat::expression::ExpressionConverter Struct Reference

#include <ExpressionConverter.h>

Inheritance diagram for smtrat::expression::ExpressionConverter:

Collaboration diagram for smtrat::expression::ExpressionConverter:

Public Member Functions
FormulaT	operator() (carl::Variable::Arg var)
FormulaT	operator() (const ITEExpression &expr)
FormulaT	operator() (const QuantifierExpression &expr)
FormulaT	operator() (const UnaryExpression &expr)
FormulaT	operator() (const BinaryExpression &expr)
FormulaT	operator() (const NaryExpression &expr)
FormulaT	operator() (const Expression &expr)

Protected Member Functions
FormulaT	convert (const Expression &expr)

Protected Attributes
FormulasT	mGlobalFormulas

Detailed Description

Definition at line 12 of file ExpressionConverter.h.

Member Function Documentation

convert()

FormulaT smtrat::expression::ExpressionConverter::convert ( const Expression &  expr )

inlineprotected

Definition at line 15 of file ExpressionConverter.h.

Here is the call graph for this function:

Here is the caller graph for this function:

operator()() [1/7]

FormulaT smtrat::expression::ExpressionConverter::operator() ( carl::Variable::Arg  var )

inline

Definition at line 20 of file ExpressionConverter.h.

Here is the call graph for this function:

operator()() [2/7]

FormulaT smtrat::expression::ExpressionConverter::operator() ( const BinaryExpression &  expr )

inline

Definition at line 38 of file ExpressionConverter.h.

Here is the call graph for this function:

operator()() [3/7]

FormulaT smtrat::expression::ExpressionConverter::operator() ( const Expression &  expr )

inline

Definition at line 61 of file ExpressionConverter.h.

Here is the call graph for this function:

operator()() [4/7]

FormulaT smtrat::expression::ExpressionConverter::operator() ( const ITEExpression &  expr )

inline

Definition at line 23 of file ExpressionConverter.h.

operator()() [5/7]

FormulaT smtrat::expression::ExpressionConverter::operator() ( const NaryExpression &  expr )

inline

Definition at line 44 of file ExpressionConverter.h.

Here is the call graph for this function:

operator()() [6/7]

FormulaT smtrat::expression::ExpressionConverter::operator() ( const QuantifierExpression &  expr )

inline

Definition at line 28 of file ExpressionConverter.h.

operator()() [7/7]

FormulaT smtrat::expression::ExpressionConverter::operator() ( const UnaryExpression &  expr )

inline

Definition at line 31 of file ExpressionConverter.h.

Here is the call graph for this function:

Field Documentation

mGlobalFormulas

FormulasT smtrat::expression::ExpressionConverter::mGlobalFormulas

protected

Definition at line 14 of file ExpressionConverter.h.

---

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

• smtrat-expressions/ExpressionConverter.h