Language.Fixpoint.Solver.Solution

Create Initial Solution

init :: Fixpoint a => Config -> SInfo a -> HashSet KVar -> Solution

Initial Solution (from Qualifiers and WF constraints) ---------------------

Update Solution

update :: Sol a QBind -> [KVar] -> [(KVar, EQual)] -> (Bool, Sol a QBind)

Update Solution -----------------------------------------------------------

Lookup Solution

lhsPred :: Loc a => BindEnv -> Solution -> SimpC a -> Expr

Predicate corresponding to LHS of constraint in current solution