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)
coloring *	get_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:

• ir.h