|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <cstddef>#include <functional>#include <immer/algorithm.hpp>#include <immer/map.hpp>#include <immer/map_transient.hpp>#include <immer/memory_policy.hpp>#include <immer/set.hpp>Go to the source code of this file.
Classes | |
| class | persistent_map< K, V, Hash > |
| Persistent (structurally shared) map with O(1) copy. More... | |
| class | persistent_set< K, Hash > |
| Persistent set with O(1) copy, the value-less analogue of persistent_map. More... | |