SortValueManager.h File Reference
#include <cassert>#include <iostream>#include <map>#include <set>#include <utility>#include <vector>#include <carl-common/util/container_types.h>#include <carl-common/memory/Singleton.h>#include "SortValue.h"
Include dependency graph for SortValueManager.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | carl::SortValueManager |
| Implements a manager for sort values, containing the actual contents of these sort and allocating their ids. More... | |
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Functions | |
| SortValue | carl::newSortValue (const Sort &sort) |
| Creates a new value for the given sort. More... | |
| SortValue | carl::defaultSortValue (const Sort &sort) |
| Returns the default value for the given sort. More... | |
