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

Safe HaskellNone
LanguageHaskell98

Language.Fixpoint.Solver.Deps

Contents

Synopsis

Dummy Solver for Debugging Kuts

solve :: Config -> FInfo a -> IO (FixResult a) Source

Dummy just for debugging --------------------------------

KV-Dependencies

deps :: FInfo a -> Deps Source

Compute Dependencies and Cuts ---------------------------

data Deps Source

Constructors

Deps 

Fields

depCuts :: ![KVar]
 
depNonCuts :: ![KVar]
 

Instances

Reads and Writes of Constraints

lhsKVars :: BindEnv -> SubC a -> [KVar] Source

rhsKVars :: SubC a -> [KVar] Source