BVCompareRelation.h File Reference
#include <cassert>#include <iostream>#include <string>
Include dependency graph for BVCompareRelation.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::BVCompareRelation > |
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Enumerations | |
| enum class | carl::BVCompareRelation : unsigned { carl::EQ , carl::NEQ , carl::ULT , carl::ULE , carl::UGT , carl::UGE , carl::SLT , carl::SLE , carl::SGT , carl::SGE } |
Functions | |
| std::string | carl::toString (BVCompareRelation _r) |
| std::ostream & | carl::operator<< (std::ostream &_os, const BVCompareRelation &_r) |
| std::size_t | carl::toId (const BVCompareRelation _relation) |
| BVCompareRelation | carl::inverse (BVCompareRelation _c) |
| bool | carl::relationIsStrict (BVCompareRelation _r) |
| bool | carl::relationIsSigned (BVCompareRelation _r) |
Detailed Description
Definition in file BVCompareRelation.h.
