UninterpretedFunction.h File Reference
#include <carl-common/util/hash.h>#include "../sort/Sort.h"#include <carl-common/util/streamingOperators.h>#include <iostream>#include <utility>#include <vector>
Include dependency graph for UninterpretedFunction.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | carl::UninterpretedFunction |
| Implements an uninterpreted function. More... | |
| struct | std::hash< carl::UninterpretedFunction > |
| Implements std::hash for uninterpreted functions. More... | |
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Functions | |
| bool | carl::operator== (const UninterpretedFunction &lhs, const UninterpretedFunction &rhs) |
| Check whether two uninterpreted functions are equal. More... | |
| bool | carl::operator< (const UninterpretedFunction &lhs, const UninterpretedFunction &rhs) |
| Check whether one uninterpreted function is smaller than another. More... | |
| std::ostream & | carl::operator<< (std::ostream &os, const UninterpretedFunction &ufun) |
| Prints the given uninterpreted function on the given output stream. More... | |
