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

Safe HaskellNone
LanguageHaskell98

Language.Fixpoint.Graph.Reducible

Description

This module a test for whether the constraint dependencies form a reducible graph.

Documentation

isReducible :: TaggedC c a => GInfo c a -> Bool Source #