smtrat::parser::conversion Namespace Reference

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