TermAdditionManager.h File Reference

#include <list>
#include <mutex>
#include <tuple>
#include <unordered_map>
#include <vector>
#include <carl-common/config.h>
#include "Term.h"
#include <carl-common/util/streamingOperators.h>
#include <carl-common/util/pointerOperations.h>

Include dependency graph for TermAdditionManager.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	carl::TermAdditionManager< Polynomial, Ordering >

Namespaces
	carl
	carl is the main namespace for the library.

Macros
#define	TAM_LOCK_GUARD
#define	TAM_LOCK
#define	TAM_UNLOCK
#define	SWAP_TERMS

Macro Definition Documentation

SWAP_TERMS

#define SWAP_TERMS

Definition at line 74 of file TermAdditionManager.h.

TAM_LOCK

#define TAM_LOCK

Definition at line 52 of file TermAdditionManager.h.

TAM_LOCK_GUARD

#define TAM_LOCK_GUARD

Definition at line 51 of file TermAdditionManager.h.

TAM_UNLOCK

#define TAM_UNLOCK

Definition at line 53 of file TermAdditionManager.h.