SortManager.h File Reference
#include <carl-common/util/pointerOperations.h>#include <carl-common/memory/Singleton.h>#include "Sort.h"#include <carl-arith/core/Variable.h>#include <cassert>#include <ostream>#include <map>#include <memory>#include <utility>#include <vector>
Include dependency graph for SortManager.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| struct | carl::SortContent |
| The actual content of a sort. More... | |
| class | carl::SortManager |
| Implements a manager for sorts, containing the actual contents of these sort and allocating their ids. More... | |
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Functions | |
| bool | carl::operator< (const SortContent &lhs, const SortContent &rhs) |
| template<typename... Args> | |
| Sort | carl::getSort (Args &&... args) |
| Gets the sort specified by the arguments. More... | |
