ExpressionTypes.h File Reference

#include <vector>

Include dependency graph for ExpressionTypes.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::expression

Typedefs
typedef std::vector< Expression >	smtrat::expression::Expressions
typedef expression::Expression	smtrat::Expression
typedef expression::Expressions	smtrat::Expressions

Enumerations
enum	smtrat::expression::ITEType { smtrat::expression::ITE }
enum	smtrat::expression::QuantifierType { smtrat::expression::EXISTS , smtrat::expression::FORALL }
enum	smtrat::expression::UnaryType { smtrat::expression::NOT }
enum	smtrat::expression::BinaryType
enum	smtrat::expression::NaryType { smtrat::expression::AND , smtrat::expression::OR , smtrat::expression::XOR , smtrat::expression::IFF }

Functions
std::ostream &	smtrat::expression::operator<< (std::ostream &os, const Expression &expr)
std::ostream &	smtrat::expression::operator<< (std::ostream &os, ITEType)
std::ostream &	smtrat::expression::operator<< (std::ostream &os, QuantifierType type)
std::ostream &	smtrat::expression::operator<< (std::ostream &os, UnaryType type)
std::ostream &	smtrat::expression::operator<< (std::ostream &os, BinaryType type)
std::ostream &	smtrat::expression::operator<< (std::ostream &os, NaryType type)