UFInstanceManager.h File Reference
#include <carl-common/util/container_types.h>#include <carl-common/memory/Singleton.h>#include <carl-common/util/hash.h>#include "../sort/Sort.h"#include "UFInstance.h"#include "UTerm.h"#include "UVariable.h"#include <cassert>#include <iostream>#include <set>#include <unordered_map>#include <utility>#include <vector>
Include dependency graph for UFInstanceManager.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | carl::UFInstanceContent |
| The actual content of an uninterpreted function instance. More... | |
| struct | std::hash< carl::UFInstanceContent > |
| Implements std::hash for uninterpreted function instance's contents. More... | |
| class | carl::UFInstanceManager |
| Implements a manager for uninterpreted function instances, containing their actual contents and allocating their ids. More... | |
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Functions | |
| UFInstance | carl::newUFInstance (const UninterpretedFunction &uf, std::vector< UTerm > &&args) |
| Gets the uninterpreted function instance with the given name, domain, arguments and codomain. More... | |
| UFInstance | carl::newUFInstance (const UninterpretedFunction &uf, const std::vector< UTerm > &args) |
| Gets the uninterpreted function instance with the given name, domain, arguments and codomain. More... | |
