model.h File Reference

#include "smtrat-common.h"
#include <carl-formula/model/Model.h>
#include <carl-arith/vs/SqrtEx.h>
#include <carl-arith/interval/Interval.h>

Include dependency graph for model.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.

Typedefs
using	smtrat::ModelVariable = carl::ModelVariable
using	smtrat::ModelValue = carl::ModelValue< Rational, Poly >
using	smtrat::Model = carl::Model< Rational, Poly >
using	smtrat::ModelSubstitution = carl::ModelSubstitution< Rational, Poly >
using	smtrat::ModelPolynomialSubstitution = carl::ModelPolynomialSubstitution< Rational, Poly >
using	smtrat::InfinityValue = carl::InfinityValue
using	smtrat::SqrtEx = carl::SqrtEx< Poly >
using	smtrat::MultivariateRootT = carl::MultivariateRoot< Poly >
using	smtrat::DoubleInterval = carl::Interval< double >
using	smtrat::RationalInterval = carl::Interval< Rational >
using	smtrat::EvalDoubleIntervalMap = std::map< carl::Variable, DoubleInterval >
using	smtrat::EvalRationalIntervalMap = std::map< carl::Variable, RationalInterval >
using	smtrat::ObjectiveValues = std::vector< std::pair< std::variant< Poly, std::string >, Model::mapped_type > >

Variables
static const Model	smtrat::EMPTY_MODEL = Model()