Loading [Contrib]/a11y/accessibility-menu.js

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

Safe Haskell	None
Language	Haskell98

Language.Fixpoint.Graph.Indexed

Contents

(Abstract) Indexed Graphs
Constructor
Destructor
Modify
Lookup

Description

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

Synopsis

data IKVGraph = IKVGraph {
- igSucc :: !(HashMap CVertex (HashSet CVertex))
- igPred :: !(HashMap CVertex (HashSet CVertex))
}
edgesIkvg :: [CEdge] -> IKVGraph
ikvgEdges :: IKVGraph -> [CEdge]
addLinks :: IKVGraph -> [CEdge] -> IKVGraph
delNodes :: IKVGraph -> [CVertex] -> IKVGraph
getSuccs :: IKVGraph -> CVertex -> [CVertex]
getPreds :: IKVGraph -> CVertex -> [CVertex]

(Abstract) Indexed Graphs

data IKVGraph Source #

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 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 #

You can find any exported type, constructor, class, function or pattern defined in this package by (approximate) name.

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result