Header menu logo B2R2

VisGraph Module

Functions and values

Function or value Description

getHeight v

Full Usage: getHeight v

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

getID v

Full Usage: getID v

Parameters:
Returns: VertexID
v : IVertex<'a>
Returns: VertexID

getIndex v

Full Usage: getIndex v

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

getLayer v

Full Usage: getLayer v

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

getPreds vGraph v

Full Usage: getPreds vGraph v

Parameters:
Returns: IVertex<'a>[]
vGraph : IDiGraph<'a, 'b>
v : IVertex<'a>
Returns: IVertex<'a>[]

getSuccs vGraph v

Full Usage: getSuccs vGraph v

Parameters:
Returns: IVertex<'a>[]
vGraph : IDiGraph<'a, 'b>
v : IVertex<'a>
Returns: IVertex<'a>[]

getVData v

Full Usage: getVData v

Parameters:
Returns: 'a
v : IVertex<'a>
Returns: 'a

getWidth v

Full Usage: getWidth v

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

getXPos v

Full Usage: getXPos v

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

getYPos v

Full Usage: getYPos v

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

init ()

Full Usage: init ()

Parameters:
    () : unit

Returns: VisGraph
() : unit
Returns: VisGraph

ofCFG g roots

Full Usage: ofCFG g roots

Parameters:
Returns: VisGraph * IVertex<VisBBlock> list
g : IDiGraphAccessible<'a, CFGEdgeKind>
roots : IVertex<'b> list
Returns: VisGraph * IVertex<VisBBlock> list

setLayer v layer

Full Usage: setLayer v layer

Parameters:
v : IVertex<VisBBlock>
layer : int

Type something to start searching.