term.h File Reference

#include <carl-arith/vs/SqrtEx.h>
#include "term.tpp"

Include dependency graph for term.h:

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

Go to the source code of this file.

Data Structures
class	carl::vs::Term< Poly >
struct	std::hash< carl::vs::Term< Poly > >

Namespaces
	carl
	carl is the main namespace for the library.
	carl::vs

Enumerations
enum class	carl::vs::TermType { carl::vs::NORMAL , carl::vs::PLUS_EPSILON , carl::vs::MINUS_INFINITY , carl::vs::PLUS_INFINITY }

Functions
template<class Poly >
std::ostream &	carl::vs::operator<< (std::ostream &os, const Term< Poly > &s)