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

Safe HaskellNone
LanguageHaskell98

Language.Fixpoint.Types.Graphs

Contents

Description

This module contains the types for representing dependency graphs between kvars and constraints.

Synopsis

Graphs

data CVertex Source

Constructors

KVar KVar

real kvar vertex

DKVar KVar

dummy to ensure each kvar has a successor

Cstr Integer

constraint-id which creates a dependency

Components

type Comps a = [[a]] Source

Printing