smtrat::parser::core Namespace Reference

Functions
bool	convertTerm (const types::TermType &term, FormulaT &result)
bool	convertArguments (const std::vector< types::TermType > &arguments, std::vector< FormulaT > &result, TheoryError &errors)

Function Documentation

convertArguments()

bool smtrat::parser::core::convertArguments ( const std::vector< types::TermType > &  arguments, std::vector< FormulaT > &  result, TheoryError &  errors  )

inline

Definition at line 25 of file Core.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

convertTerm()

bool smtrat::parser::core::convertTerm ( const types::TermType &  term, FormulaT &  result  )

inline

Definition at line 9 of file Core.cpp.

Here is the call graph for this function:

Here is the caller graph for this function: