SignCondition.h File Reference

#include <carl-arith/core/Sign.h>
#include <list>

Include dependency graph for SignCondition.h:

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

Go to the source code of this file.

Data Structures
class	carl::SignCondition

Namespaces
	carl
	carl is the main namespace for the library.

Enumerations
enum	carl::ThomComparisonResult {   carl::LESS , carl::LESS = -1 , carl::LESS = 2 , carl::EQUAL ,   carl::EQUAL = 0 , carl::GREATER , carl::GREATER = 1 , carl::GREATER = 3 }