Language.Fixpoint.Graph.Indexed

(Abstract) Indexed Graphs

data IKVGraph

Constructor

edgesIkvg

Destructor

ikvgEdges

Modify

addLinks

delNodes

Lookup

getSuccs

getPreds