FormulaPool.h File Reference
#include <carl-common/memory/Singleton.h>#include <carl-arith/core/VariablePool.h>#include "Formula.h"#include <mutex>#include <limits>#include <boost/variant.hpp>#include "../bitvector/BVConstraintPool.h"#include "../bitvector/BVConstraint.h"#include <boost/intrusive/unordered_set.hpp>#include "FormulaPool.tpp"
Include dependency graph for FormulaPool.h:
Go to the source code of this file.
Data Structures | |
| class | carl::FormulaPool< Pol > |
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Macros | |
| #define | SIMPLIFY_FORMULA |
| #define | FORMULA_POOL_LOCK_GUARD |
| #define | FORMULA_POOL_LOCK |
| #define | FORMULA_POOL_UNLOCK |
Functions | |
| template<typename Pol > | |
| std::size_t | carl::hash_value (const carl::FormulaContent< Pol > &content) |
Detailed Description
- Version
- 2014-05-08
Definition in file FormulaPool.h.
Macro Definition Documentation
◆ FORMULA_POOL_LOCK
| #define FORMULA_POOL_LOCK |
Definition at line 68 of file FormulaPool.h.
◆ FORMULA_POOL_LOCK_GUARD
| #define FORMULA_POOL_LOCK_GUARD |
Definition at line 67 of file FormulaPool.h.
◆ FORMULA_POOL_UNLOCK
| #define FORMULA_POOL_UNLOCK |
Definition at line 69 of file FormulaPool.h.
◆ SIMPLIFY_FORMULA
| #define SIMPLIFY_FORMULA |
Definition at line 20 of file FormulaPool.h.
