PolyTreePool.h File Reference

#include "carl-formula/bitvector/Pool.h"
#include "PolyTree.h"

Include dependency graph for PolyTreePool.h:

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

Go to the source code of this file.

Data Structures
class	smtrat::PolyTreePool

Namespaces
	smtrat
	Class to create the formulas for axioms.

Macros
#define	POOL_LOCK_GUARD   std::lock_guard<std::mutex> lock( mMutexPool );
#define	POOL_LOCK   mMutexPool.lock();
#define	POOL_UNLOCK   mMutexPool.unlock();

Detailed Description

Author

Andreas Krueger andre.nosp@m.as.k.nosp@m.ruege.nosp@m.r@rw.nosp@m.th-aa.nosp@m.chen.nosp@m..de

Definition in file PolyTreePool.h.

Macro Definition Documentation

POOL_LOCK

#define POOL_LOCK   mMutexPool.lock();

Definition at line 24 of file PolyTreePool.h.

POOL_LOCK_GUARD

#define POOL_LOCK_GUARD   std::lock_guard<std::mutex> lock( mMutexPool );

Definition at line 23 of file PolyTreePool.h.

POOL_UNLOCK

#define POOL_UNLOCK   mMutexPool.unlock();

Definition at line 25 of file PolyTreePool.h.