Conversions.h File Reference

#include <vector>
#include <boost/variant.hpp>
#include "Common.h"
#include "TheoryTypes.h"

Include dependency graph for Conversions.h:

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

Go to the source code of this file.

Data Structures
struct	smtrat::parser::conversion::Converter< To >
struct	smtrat::parser::conversion::Converter< types::BVTerm >
struct	smtrat::parser::conversion::Converter< Poly >
struct	smtrat::parser::conversion::Converter< FormulaT >
struct	smtrat::parser::conversion::VariantConverter< Res >
	Converts variants to some type using the Converter class. More...
struct	smtrat::parser::conversion::VariantVariantConverter< Res >
	Converts variants to another variant type not using the Converter class. More...
struct	smtrat::parser::conversion::VectorVariantConverter< Res >
	Converts a vector of variants to a vector of some type using the Converter class. More...

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