tpdb-2.7.3: Data Type for Rewriting Systems
Safe HaskellSafe-Inferred
LanguageHaskell2010

TPDB.DP.Graph

Synopsis

Documentation

components :: (Ord v, Eq s) => RS s (Term v s) -> [Either (Rule (Term v s)) (RS s (Term v s))] Source #

DP problems for strongly connected components, topologically sorted, with CyclicComponents in Right, others in Left.

edges :: (Ord b, Eq c) => IntMap (Rule (Term b c)) -> [(Key, Key)] Source #

edges of the estimated dependency graph

check :: [(Key, Key)] Source #

indexed :: TRS v c -> IntMap (Rule (Term v c)) Source #

numbering for non-strict rules

sys :: TRS Identifier Identifier Source #