Language.Fixpoint.Graph.Indexed

This module implements Indexed KV Graphs, a representation of the KVGraph with a fast succ, pred lookup

(Abstract) Indexed Graphs

data IKVGraph

IKVGraph is representation of the KVGraph with a fast succ, pred lookup

Constructors

IKVGraph

Fields

• igSucc :: !(HashMap CVertex (HashSet CVertex))

  out-edges of a CVertex

• igPred :: !(HashMap CVertex (HashSet CVertex))

  in-edges of a CVertex

Instances

Show IKVGraph

Defined in Language.Fixpoint.Graph.Indexed

Methods

showsPrec :: Int -> IKVGraph -> ShowS

show :: IKVGraph -> String

showList :: [IKVGraph] -> ShowS

Constructor

edgesIkvg :: [CEdge] -> IKVGraph

Destructor

ikvgEdges :: IKVGraph -> [CEdge]

Modify

addLinks :: IKVGraph -> [CEdge] -> IKVGraph

delNodes :: IKVGraph -> [CVertex] -> IKVGraph

Lookup

getSuccs :: IKVGraph -> CVertex -> [CVertex]

getPreds :: IKVGraph -> CVertex -> [CVertex]