package llvmgraph

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package llvmgraph

llvmgraph
- Llvmgraph
  - Coloring
    
    H
  - Component
  - Dominator
    
    S
  - G
    
    E
    
    V
    
    Weight
  - Kruskal
  - Leaderlist
  - Map
  - Oper
    
    Choose
    
    Neighbourhood
    
    Vertex_Set
  - Path
    
    Dijkstra
  - Prim
  - Topological
  - Traverse
    
    Bfs
    
    Dfs

Legend:
Library
Module
Module type
Parameter
Class
Class type

Mapping from Llvm's control flow graph to another graph.

Parameters

module B : Graph.Builder.S

Signature

val map : 
  vertex:(G.vertex -> B.G.vertex) ->
  label:(G.edge -> B.G.E.label) ->
  ?src:(G.E.vertex -> B.G.E.vertex) ->
  ?dst:(G.E.vertex -> B.G.E.vertex) ->
  G.t ->
  (G.vertex -> B.G.vertex) * B.G.t