| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Fixpoint.Graph.Reducible
Description
This module a test for whether the constraint dependencies form a reducible graph.
Documentation
isReducible :: SInfo a -> Bool Source #
liquid-fixpoint-0.6.0.1: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Fixpoint.Graph.Reducible
Description
This module a test for whether the constraint dependencies form a reducible graph.
isReducible :: SInfo a -> Bool Source #