Core.cpp File Reference

#include "Core.h"
#include "ParserState.h"
#include <boost/algorithm/string/predicate.hpp>

Include dependency graph for Core.cpp:

Go to the source code of this file.

Data Structures
struct	smtrat::parser::CoreInstantiator
struct	smtrat::parser::NaryCoreInstantiator< type >
struct	smtrat::parser::NotCoreInstantiator
struct	smtrat::parser::ImpliesCoreInstantiator

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

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