UFModel.h File Reference
#include "SortValue.h"#include <carl-formula/uninterpreted/UFManager.h>#include <carl-formula/uninterpreted/UninterpretedFunction.h>#include <iostream>#include <map>#include <utility>
Include dependency graph for UFModel.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | carl::UFModel |
| Implements a sort value, being a value of the uninterpreted domain specified by this sort. More... | |
| struct | std::hash< carl::UFModel > |
| Implements std::hash for uninterpreted function model. More... | |
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Functions | |
| bool | carl::operator== (const UFModel &lhs, const UFModel &rhs) |
| Compares two UFModel objects for equality. More... | |
| bool | carl::operator< (const UFModel &lhs, const UFModel &rhs) |
| Checks whether one UFModel is smaller than another. More... | |
| std::ostream & | carl::operator<< (std::ostream &os, const UFModel &ufm) |
| Prints the given uninterpreted function model on the given output stream. More... | |
