smtrat::parser::types Namespace Reference

Data Structures
struct	CoreTheory
	Types of the core theory. More...
struct	ArithmeticTheory
	Types of the arithmetic theory. More...
struct	BitvectorTheory
	Types of the theory of bitvectors. More...
struct	UninterpretedTheory
	Types of the theory of equalities and uninterpreted functions. More...

Typedefs
typedef carl::BVTerm	BVTerm
	Typedef for bitvector term. More...
typedef carl::BVVariable	BVVariable
typedef carl::BVConstraint	BVConstraint
	Typedef for bitvector constraint. More...
using	UTerm = carl::UTerm
typedef carl::mpl_concatenate< CoreTheory::ConstTypes, >::type	ConstTypes
	List of all types of constants. More...
typedef carl::mpl_variant_of< ConstTypes >::type	ConstType
	Variant type for all constants. More...
typedef carl::mpl_concatenate< CoreTheory::VariableTypes, >::type	VariableTypes
	List of all types of variables. More...
typedef carl::mpl_variant_of< VariableTypes >::type	VariableType
	Variant type for all variables. More...
typedef carl::mpl_concatenate< CoreTheory::ExpressionTypes, >::type	ExpressionTypes
	List of all types of expressions. More...
typedef carl::mpl_variant_of< ExpressionTypes >::type	ExpressionType
	Variant type for all expressions. More...
typedef carl::mpl_concatenate< CoreTheory::TermTypes, >::type	TermTypes
	List of all types of terms. More...
typedef carl::mpl_variant_of< TermTypes >::type	TermType
	Variant type for all terms. More...
typedef carl::mpl_concatenate< TermTypes, boost::mpl::vector< SExpressionSequence< types::ConstType >, std::string, bool, boost::spirit::unused_type > >::type	AttributeTypes
	List of all types of attributes. More...
typedef carl::mpl_variant_of< AttributeTypes >::type	AttributeValue
	Variant type for all attributes. More...

Typedef Documentation

AttributeTypes

typedef carl::mpl_concatenate< TermTypes, boost::mpl::vector< SExpressionSequence<types::ConstType>, std::string, bool, boost::spirit::unused_type > >::type smtrat::parser::types::AttributeTypes

List of all types of attributes.

Definition at line 173 of file TheoryTypes.h.

AttributeValue

typedef carl::mpl_variant_of<AttributeTypes>::type smtrat::parser::types::AttributeValue

Variant type for all attributes.

Definition at line 177 of file TheoryTypes.h.

BVConstraint

typedef carl::BVConstraint smtrat::parser::types::BVConstraint

Typedef for bitvector constraint.

Definition at line 80 of file TheoryTypes.h.

BVTerm

typedef carl::BVTerm smtrat::parser::types::BVTerm

Typedef for bitvector term.

Definition at line 77 of file TheoryTypes.h.

BVVariable

typedef carl::BVVariable smtrat::parser::types::BVVariable

Definition at line 78 of file TheoryTypes.h.

ConstType

typedef carl::mpl_variant_of<ConstTypes>::type smtrat::parser::types::ConstType

Variant type for all constants.

Definition at line 118 of file TheoryTypes.h.

ConstTypes

typedef carl::mpl_concatenate< CoreTheory::ConstTypes, >::type smtrat::parser::types::ConstTypes

List of all types of constants.

Definition at line 114 of file TheoryTypes.h.

ExpressionType

typedef carl::mpl_variant_of<ExpressionTypes>::type smtrat::parser::types::ExpressionType

Variant type for all expressions.

Definition at line 146 of file TheoryTypes.h.

ExpressionTypes

typedef carl::mpl_concatenate< CoreTheory::ExpressionTypes, >::type smtrat::parser::types::ExpressionTypes

List of all types of expressions.

Definition at line 142 of file TheoryTypes.h.

TermType

typedef carl::mpl_variant_of<TermTypes>::type smtrat::parser::types::TermType

Variant type for all terms.

Definition at line 160 of file TheoryTypes.h.

TermTypes

typedef carl::mpl_concatenate< CoreTheory::TermTypes, >::type smtrat::parser::types::TermTypes

List of all types of terms.

Definition at line 156 of file TheoryTypes.h.

UTerm

using smtrat::parser::types::UTerm = typedef carl::UTerm

Definition at line 93 of file TheoryTypes.h.

VariableType

typedef carl::mpl_variant_of<VariableTypes>::type smtrat::parser::types::VariableType

Variant type for all variables.

Definition at line 132 of file TheoryTypes.h.

VariableTypes

typedef carl::mpl_concatenate< CoreTheory::VariableTypes, >::type smtrat::parser::types::VariableTypes

List of all types of variables.

Definition at line 128 of file TheoryTypes.h.