Relation.h File Reference
#include <carl-logging/carl-logging.h>#include "Sign.h"#include <cassert>#include <iostream>#include <memory>#include <sstream>
Include dependency graph for Relation.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| struct | std::hash< carl::Relation > |
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Enumerations | |
| enum class | carl::Relation { carl::EQ = 0 , carl::NEQ = 1 , carl::LESS = 2 , carl::LEQ = 4 , carl::GREATER = 3 , carl::GEQ = 5 } |
Functions | |
| std::ostream & | carl::operator<< (std::ostream &os, const Relation &r) |
| Relation | carl::inverse (Relation r) |
| Inverts the given relation symbol. More... | |
| Relation | carl::turn_around (Relation r) |
| Turns around the given relation symbol, in the sense that LESS (LEQ) and GREATER (GEQ) are swapped. More... | |
| std::string | carl::toString (Relation r) |
| bool | carl::is_strict (Relation r) |
| bool | carl::is_weak (Relation r) |
| bool | carl::evaluate (Sign s, Relation r) |
| template<typename T > | |
| bool | carl::evaluate (const T &t, Relation r) |
| template<typename T1 , typename T2 > | |
| bool | carl::evaluate (const T1 &lhs, Relation r, const T2 &rhs) |
Detailed Description
Definition in file Relation.h.
