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

Reduced IR save state. More...

#include <ir.h>

Public Member Functions

void save (std::vector< int > &s_base_vertex, coloring &s_c, unsigned long s_invariant, int s_trace_position, int s_base_position)
 
coloringget_coloring ()
 
dej_nodiscard unsigned long get_invariant_hash () const
 
dej_nodiscard int get_trace_position () const
 
dej_nodiscard int get_base_position () const
 
std::vector< int > & get_base ()
 

Detailed Description

Reduced IR save state.

Using this class, partial information of a state of an IR computation can be stored. Using this information, IR computations can be resumed from this state either using BFS or random walks. The state in particular does not keep enough information to resume using DFS.

Definition at line 47 of file ir.h.

Member Function Documentation

◆ get_base()

std::vector< int > & dejavu::ir::limited_save::get_base ( )
inline
Returns
base of this IR node

Definition at line 97 of file ir.h.

◆ get_base_position()

dej_nodiscard int dejavu::ir::limited_save::get_base_position ( ) const
inline
Returns
length of base of this IR node

Definition at line 90 of file ir.h.

◆ get_coloring()

coloring * dejavu::ir::limited_save::get_coloring ( )
inline
Returns
coloring of this IR node

Definition at line 69 of file ir.h.

◆ get_invariant_hash()

dej_nodiscard unsigned long dejavu::ir::limited_save::get_invariant_hash ( ) const
inline
Returns
hash of invariant of this IR node

Definition at line 76 of file ir.h.

◆ get_trace_position()

dej_nodiscard int dejavu::ir::limited_save::get_trace_position ( ) const
inline
Returns
position of trace of this IR node

Definition at line 83 of file ir.h.

◆ save()

void dejavu::ir::limited_save::save ( std::vector< int > &  s_base_vertex,
coloring s_c,
unsigned long  s_invariant,
int  s_trace_position,
int  s_base_position 
)
inline

Definition at line 57 of file ir.h.


The documentation for this class was generated from the following file: