B2R2


VisGraph Module

Functions and values

Function or value Description

getHeight v

Full Usage: getHeight v

Parameters:
Returns: float
v : Vertex<VisBBlock>
Returns: float

getID v

Full Usage: getID v

Parameters:
Returns: VertexID
v : Vertex<'e>
Returns: VertexID

getIndex v

Full Usage: getIndex v

Parameters:
Returns: int
v : Vertex<VisBBlock>
Returns: int

getLayer v

Full Usage: getLayer v

Parameters:
Returns: int
v : Vertex<VisBBlock>
Returns: int

getPreds vGraph v

Full Usage: getPreds vGraph v

Parameters:
Returns: Vertex<VisBBlock> list
vGraph : DiGraph<VisBBlock, 'a>
v : Vertex<VisBBlock>
Returns: Vertex<VisBBlock> list

getSuccs vGraph v

Full Usage: getSuccs vGraph v

Parameters:
Returns: Vertex<VisBBlock> list
vGraph : DiGraph<VisBBlock, 'a>
v : Vertex<VisBBlock>
Returns: Vertex<VisBBlock> list

getVData v

Full Usage: getVData v

Parameters:
Returns: VisBBlock
v : Vertex<VisBBlock>
Returns: VisBBlock

getWidth v

Full Usage: getWidth v

Parameters:
Returns: float
v : Vertex<VisBBlock>
Returns: float

getXPos v

Full Usage: getXPos v

Parameters:
Returns: float
v : Vertex<VisBBlock>
Returns: float

getYPos v

Full Usage: getYPos v

Parameters:
Returns: float
v : Vertex<VisBBlock>
Returns: float

init ()

Full Usage: init ()

Parameters:
    () : unit

Returns: ControlFlowGraph<VisBBlock, VisEdge>
() : unit
Returns: ControlFlowGraph<VisBBlock, VisEdge>

ofCFG g roots

Full Usage: ofCFG g roots

Parameters:
Returns: ControlFlowGraph<VisBBlock, VisEdge> * Vertex<VisBBlock> list
g : DiGraph<'d, CFGEdgeKind>
roots : 'e list
Returns: ControlFlowGraph<VisBBlock, VisEdge> * Vertex<VisBBlock> list

setLayer v layer

Full Usage: setLayer v layer

Parameters:
v : Vertex<VisBBlock>
layer : int