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

Decomposes graphs and manages decomposition information. More...

#include <components.h>

Public Member Functions

int map_back (int component, int vertex)
 
void decompose (sgraph *g, int *colmap, ds::worklist &vertex_to_component, int new_num_components)
 
sgraphget_component (int i)
 
int * get_colmap (int i)
 

Detailed Description

Decomposes graphs and manages decomposition information.

Definition at line 110 of file components.h.

Member Function Documentation

◆ decompose()

void dejavu::ir::graph_decomposer::decompose ( sgraph g,
int *  colmap,
ds::worklist vertex_to_component,
int  new_num_components 
)
inline

Decompose the given graph into components, as defined by vertex_to_component. Rearranges g and stores decomposition information internally.

Parameters
gthe graph
cvertex coloring of g
vertex_to_componentmaps vertices of g to their components
new_num_componentshow many components

Definition at line 142 of file components.h.

◆ get_colmap()

int * dejavu::ir::graph_decomposer::get_colmap ( int  i)
inline

Returns the vertex coloring of component i.

Parameters
inumber of component
Returns
vertex coloring of component i

Definition at line 256 of file components.h.

◆ get_component()

sgraph * dejavu::ir::graph_decomposer::get_component ( int  i)
inline

Returns the graph of component i.

Parameters
inumber of component
Returns
graph of component i

Definition at line 246 of file components.h.

◆ map_back()

int dejavu::ir::graph_decomposer::map_back ( int  component,
int  vertex 
)
inline

Maps back vertex vertex of component component

Parameters
component
vertex
Returns
vertex of the original graph

Definition at line 124 of file components.h.


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