liquid-fixpoint-0.3.0.0: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
Language.Fixpoint.Solver.Deps
Contents
Synopsis
solve :: Config -> FInfo a -> IO (FixResult a) Source
Dummy just for debugging --------------------------------
deps :: FInfo a -> Deps Source
Compute Dependencies and Cuts ---------------------------
data Deps Source
Constructors
Fields
Instances
lhsKVars :: BindEnv -> SubC a -> [KVar] Source
rhsKVars :: SubC a -> [KVar] Source