VariableAssignment.h File Reference

#include "VariableComparison.h"
#include <carl-arith/core/Relation.h>
#include <carl-arith/core/Variable.h>

Include dependency graph for VariableAssignment.h:

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

Go to the source code of this file.

Data Structures
class	carl::VariableAssignment< Poly >
struct	std::hash< carl::VariableAssignment< Pol > >

Namespaces
	carl
	carl is the main namespace for the library.

Functions
template<typename Pol >
void	carl::variables (const VariableAssignment< Pol > &f, carlVariables &vars)
template<typename Poly >
bool	carl::operator== (const VariableAssignment< Poly > &lhs, const VariableAssignment< Poly > &rhs)
template<typename Poly >
bool	carl::operator< (const VariableAssignment< Poly > &lhs, const VariableAssignment< Poly > &rhs)
template<typename Poly >
std::ostream &	carl::operator<< (std::ostream &os, const VariableAssignment< Poly > &va)