Uninterpreted.cpp File Reference

#include "Uninterpreted.h"
#include "ParserState.h"
#include "../ParserSettings.h"
#include <carl-formula/uninterpreted/UFInstanceManager.h>

Include dependency graph for Uninterpreted.cpp:

Go to the source code of this file.

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::parser
	smtrat::parser::uninterpreted

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