Collection of leaves.
More...
#include <ir.h>
Collection of leaves.
Can be used across multiple threads.
Definition at line 1841 of file ir.h.
◆ shared_leaves()
dejavu::ir::shared_leaves::shared_leaves |
( |
| ) |
|
|
inline |
◆ ~shared_leaves()
dejavu::ir::shared_leaves::~shared_leaves |
( |
| ) |
|
|
inline |
Free up all memory.
Definition at line 1856 of file ir.h.
◆ add_leaf()
void dejavu::ir::shared_leaves::add_leaf |
( |
unsigned long |
hash, |
|
|
coloring & |
c, |
|
|
std::vector< int > & |
base |
|
) |
| |
|
inline |
Add leaf with the given hash. Does not add the leaf, if a leaf with the given hash already exists.
- Parameters
-
Definition at line 1883 of file ir.h.
◆ clear()
void dejavu::ir::shared_leaves::clear |
( |
| ) |
|
|
inline |
Empty this leaf container.
Definition at line 1902 of file ir.h.
◆ lookup_leaf()
stored_leaf * dejavu::ir::shared_leaves::lookup_leaf |
( |
unsigned long |
hash | ) |
|
|
inline |
Lookup whether a leaf with the given hash already exists.
- Parameters
-
- Returns
Definition at line 1868 of file ir.h.
◆ h_full_save_limit
int dejavu::ir::shared_leaves::h_full_save_limit = 256 |
number of leaves which will be stored fully
Definition at line 1847 of file ir.h.
◆ s_leaves
int dejavu::ir::shared_leaves::s_leaves = 0 |
number of leaves stored
Definition at line 1846 of file ir.h.
The documentation for this class was generated from the following file: