IDPool.h File Reference

#include "../config.h"
#include "../datastructures/Bitset.h"
#include <iostream>
#include <mutex>

Include dependency graph for IDPool.h:

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

Go to the source code of this file.

Data Structures
class	carl::IDPool

Namespaces
	carl
	carl is the main namespace for the library.

Macros
#define	IDPOOL_LOCK

Macro Definition Documentation

IDPOOL_LOCK

#define IDPOOL_LOCK

Definition at line 19 of file IDPool.h.