#include <carl-arith/core/Variable.h>
#include <carl-formula/bitvector/BVVariable.h>
#include <carl-formula/uninterpreted/UVariable.h>
#include <carl-formula/uninterpreted/UninterpretedFunction.h>
#include <carl-common/util/variant_util.h>
#include <cassert>
#include <variant>

Include dependency graph for ModelVariable.h:

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

Go to the source code of this file.

Data Structures
class	carl::ModelVariable
	Represent a sum type/variant over the different kinds of variables that exist in CARL to use them in a more uniform way, e.g. More...

struct	std::hash< carl::ModelVariable >

Namespaces
	carl
	carl is the main namespace for the library.

Functions
bool	carl::operator== (const ModelVariable &lhs, const ModelVariable &rhs)
	Return true if lhs is equal to rhs. More...

bool	carl::operator< (const ModelVariable &lhs, const ModelVariable &rhs)
	Return true if lhs is smaller than rhs. More...

std::ostream &	carl::operator<< (std::ostream &os, const ModelVariable &mv)

Data Structures

Namespaces

Functions