Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Synopsis
- components :: (Ord v, Ord a) => RS (Marked a) (Term v (Marked a)) -> [Either (Rule (Term v (Marked a))) (RS (Marked a) (Term v (Marked a)))]
- edges :: (Ord v, Ord a) => RS (Marked a) (Term v (Marked a)) -> [(Rule (Term v (Marked a)), Rule (Term v (Marked a)))]
- check :: [(Rule (Term Identifier (Marked Identifier)), Rule (Term Identifier (Marked Identifier)))]
- sys :: TRS Identifier Identifier
Documentation
components :: (Ord v, Ord a) => RS (Marked a) (Term v (Marked a)) -> [Either (Rule (Term v (Marked a))) (RS (Marked a) (Term v (Marked a)))] Source #
DP problems for strongly connected components, topologically sorted, with CyclicComponents in Right, others in Left.
edges :: (Ord v, Ord a) => RS (Marked a) (Term v (Marked a)) -> [(Rule (Term v (Marked a)), Rule (Term v (Marked a)))] Source #
edges of the estimated dependency graph
check :: [(Rule (Term Identifier (Marked Identifier)), Rule (Term Identifier (Marked Identifier)))] Source #