VariablePool.h File Reference

#include <carl-common/config.h>
#include <carl-common/memory/Singleton.h>
#include "Variable.h"
#include <array>
#include <map>
#include <mutex>
#include <string>
#include <vector>

Include dependency graph for VariablePool.h:

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

Go to the source code of this file.

Data Structures
class	carl::VariablePool
	This class generates new variables and stores human-readable names for them. More...

Namespaces
	carl
	carl is the main namespace for the library.

Macros
#define	FRESHVAR_LOCK_GUARD
#define	SETNAME_LOCK_GUARD

Functions
Variable	carl::fresh_variable (VariableType vt) noexcept
Variable	carl::fresh_variable (const std::string &name, VariableType vt)
Variable	carl::fresh_bitvector_variable () noexcept
Variable	carl::fresh_bitvector_variable (const std::string &name)
Variable	carl::fresh_boolean_variable () noexcept
Variable	carl::fresh_boolean_variable (const std::string &name)
Variable	carl::fresh_real_variable () noexcept
Variable	carl::fresh_real_variable (const std::string &name)
Variable	carl::fresh_integer_variable () noexcept
Variable	carl::fresh_integer_variable (const std::string &name)
Variable	carl::fresh_uninterpreted_variable () noexcept
Variable	carl::fresh_uninterpreted_variable (const std::string &name)

Detailed Description

Author

Sebastian Junges

Definition in file VariablePool.h.

Macro Definition Documentation

FRESHVAR_LOCK_GUARD

#define FRESHVAR_LOCK_GUARD

Definition at line 75 of file VariablePool.h.

SETNAME_LOCK_GUARD

#define SETNAME_LOCK_GUARD

Definition at line 76 of file VariablePool.h.