ModelValue.h File Reference

#include <carl-common/util/variant_util.h>
#include <carl-formula/bitvector/BVValue.h>
#include <carl-arith/extended/MultivariateRoot.h>
#include <carl-arith/ran/ran.h>
#include <carl-arith/vs/SqrtEx.h>
#include <carl-formula/uninterpreted/SortValue.h>
#include <carl-formula/uninterpreted/UFModel.h>
#include <memory>
#include <variant>

Include dependency graph for ModelValue.h:

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

Go to the source code of this file.

Data Structures
struct	carl::InfinityValue
	This class represents infinity or minus infinity, depending on its flag positive. More...
struct	carl::SymbolicInterval< Poly >
struct	carl::Infinitesimal< RAN >
class	carl::ModelValue< Rational, Poly >
	Represent a sum type/variant over the different kinds of values that can be assigned to the different kinds of variables that exist in CARL and to use them in a more uniform way, e.g. More...

Namespaces
	carl
	carl is the main namespace for the library.

Typedefs
template<typename Rational , typename Poly >
using	carl::ModelSubstitutionPtr = std::unique_ptr< ModelSubstitution< Rational, Poly > >

Functions
template<typename Rational , typename Poly , typename Substitution , typename... Args>
ModelValue< Rational, Poly >	carl::createSubstitution (Args &&... args)
template<typename Rational , typename Poly , typename Substitution , typename... Args>
ModelSubstitutionPtr< Rational, Poly >	carl::createSubstitutionPtr (Args &&... args)
template<typename Rational , typename Poly >
ModelValue< Rational, Poly >	carl::createSubstitution (const MultivariateRoot< Poly > &mr)
bool	carl::operator== (InfinityValue lhs, InfinityValue rhs)
std::ostream &	carl::operator<< (std::ostream &os, const InfinityValue &iv)
template<typename Poly >
std::ostream &	carl::operator<< (std::ostream &os, const SymbolicInterval< Poly > &i)
template<typename Poly >
bool	carl::operator== (const SymbolicInterval< Poly > &lhs, const SymbolicInterval< Poly > &rhs)
template<typename RAN >
std::ostream &	carl::operator<< (std::ostream &os, const Infinitesimal< RAN > &d)
template<typename RAN >
bool	carl::operator== (const Infinitesimal< RAN > &lhs, const Infinitesimal< RAN > &rhs)
template<typename Rational , typename Poly >
bool	carl::operator== (const ModelValue< Rational, Poly > &lhs, const ModelValue< Rational, Poly > &rhs)
	Check if two Assignments are equal. More...
template<typename Rational , typename Poly >
bool	carl::operator< (const ModelValue< Rational, Poly > &lhs, const ModelValue< Rational, Poly > &rhs)
template<typename R , typename P >
std::ostream &	carl::operator<< (std::ostream &os, const ModelValue< R, P > &mv)