liquid-fixpoint-0.8.0.2: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

Safe HaskellNone
LanguageHaskell98

Language.Fixpoint.Graph.Indexed

Contents

Description

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

Synopsis

(Abstract) Indexed Graphs

data IKVGraph Source #

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

Constructors

IKVGraph 

Fields

Instances
Show IKVGraph Source # 
Instance details

Defined in Language.Fixpoint.Graph.Indexed

Methods

showsPrec :: Int -> IKVGraph -> ShowS #

show :: IKVGraph -> String #

showList :: [IKVGraph] -> ShowS #

Constructor

edgesIkvg :: [CEdge] -> IKVGraph Source #

Destructor

ikvgEdges :: IKVGraph -> [CEdge] Source #

Modify

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

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

Lookup

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

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