MonomialPool.h File Reference
#include <carl-common/config.h>#include <carl-common/memory/IDPool.h>#include <carl-common/memory/PoolHelper.h>#include <carl-common/memory/Singleton.h>#include "Monomial.h"#include <boost/intrusive/unordered_set.hpp>#include <memory>
Include dependency graph for MonomialPool.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | carl::MonomialPool |
| struct | carl::MonomialPool::content_equal |
| struct | carl::MonomialPool::content_hash |
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Macros | |
| #define | MONOMIAL_POOL_LOCK_GUARD |
| #define | MONOMIAL_POOL_LOCK |
| #define | MONOMIAL_POOL_UNLOCK |
Functions | |
| std::size_t | carl::hash_value (const carl::Monomial &monomial) |
| std::ostream & | carl::operator<< (std::ostream &os, const MonomialPool &mp) |
| template<typename... T> | |
| Monomial::Arg | carl::createMonomial (T &&... t) |
Detailed Description
Definition in file MonomialPool.h.
Macro Definition Documentation
◆ MONOMIAL_POOL_LOCK
| #define MONOMIAL_POOL_LOCK |
Definition at line 62 of file MonomialPool.h.
◆ MONOMIAL_POOL_LOCK_GUARD
| #define MONOMIAL_POOL_LOCK_GUARD |
Definition at line 61 of file MonomialPool.h.
◆ MONOMIAL_POOL_UNLOCK
| #define MONOMIAL_POOL_UNLOCK |
Definition at line 63 of file MonomialPool.h.
