UEquality.h File Reference
Include dependency graph for UEquality.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | carl::UEquality |
| Implements an uninterpreted equality, that is an equality of either two uninterpreted function instances, two uninterpreted variables, or an uninterpreted function instance and an uninterpreted variable. More... | |
| struct | std::hash< carl::UEquality > |
| Implements std::hash for uninterpreted equalities. More... | |
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Functions | |
| bool | carl::operator== (const UEquality &lhs, const UEquality &rhs) |
| bool | carl::operator!= (const UEquality &lhs, const UEquality &rhs) |
| bool | carl::operator< (const UEquality &lhs, const UEquality &rhs) |
| std::ostream & | carl::operator<< (std::ostream &os, const UEquality &ueq) |
| Prints the given uninterpreted equality on the given output stream. More... | |
