BVVariable.h File Reference

#include <carl-arith/core/Variable.h>
#include <carl-arith/core/VariablePool.h>
#include "../sort/SortManager.h"

Include dependency graph for BVVariable.h:

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

Go to the source code of this file.

Data Structures
class	carl::BVVariable
	Represent a BitVector-Variable. More...
struct	std::hash< carl::BVVariable >
	Implement std::hash for bitvector variables. More...

Namespaces
	carl
	carl is the main namespace for the library.

Functions
bool	carl::operator== (const BVVariable &lhs, const BVVariable &rhs)
bool	carl::operator== (const BVVariable &lhs, const Variable &rhs)
bool	carl::operator== (const Variable &lhs, const BVVariable &rhs)
bool	carl::operator< (const BVVariable &lhs, const BVVariable &rhs)
bool	carl::operator< (const BVVariable &lhs, const Variable &rhs)
bool	carl::operator< (const Variable &lhs, const BVVariable &rhs)