dejavu
Fast probabilistic symmetry detection.
Loading...
Searching...
No Matches
dejavu::ir::shared_leaves Class Reference

Collection of leaves. More...

#include <ir.h>

Public Member Functions

 shared_leaves ()
 
 ~shared_leaves ()
 
stored_leaflookup_leaf (unsigned long hash)
 
void add_leaf (unsigned long hash, coloring &c, std::vector< int > &base)
 
void clear ()
 

Public Attributes

int s_leaves = 0
 
int h_full_save_limit = 256
 

Detailed Description

Collection of leaves.

Can be used across multiple threads.

Definition at line 1841 of file ir.h.

Constructor & Destructor Documentation

◆ shared_leaves()

dejavu::ir::shared_leaves::shared_leaves ( )
inline

Definition at line 1849 of file ir.h.

◆ ~shared_leaves()

dejavu::ir::shared_leaves::~shared_leaves ( )
inline

Free up all memory.

Definition at line 1856 of file ir.h.

Member Function Documentation

◆ 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
hash
ptr

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
hash
Returns

Definition at line 1868 of file ir.h.

Member Data Documentation

◆ 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: