liquid-fixpoint-0.4.0.0: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
Language.Fixpoint.Solver.Worklist
Contents
Synopsis
data Worklist a Source
Instances
init :: Config -> FInfo a -> Worklist a Source
Worklist -------------------------------------------------------------
pop :: Worklist a -> Maybe (SubC a, Worklist a) Source
push :: SubC a -> Worklist a -> Worklist a Source