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

Author

Florian Corzilius corzi.nosp@m.lius.nosp@m.@cs.r.nosp@m.wth-.nosp@m.aache.nosp@m.n.de

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.