smtrat::parser::uninterpreted Namespace Reference

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

Function Documentation

convertArguments()

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

inline

Definition at line 23 of file Uninterpreted.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

convertTerm()

bool smtrat::parser::uninterpreted::convertTerm ( const types::TermType &  term, types::UTerm &  result  )

inline

Definition at line 11 of file Uninterpreted.cpp.

Here is the caller graph for this function: