liquid-fixpoint-0.8.10.2: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
Safe HaskellNone
LanguageHaskell98

Language.Fixpoint.Graph.Indexed

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

Instances details
Show IKVGraph Source # 
Instance details

Defined in Language.Fixpoint.Graph.Indexed

Constructor

Destructor

Modify

Lookup