verigraph-1.1.1: Software specification and verification tool based on graph rewriting.

Safe HaskellSafe
LanguageHaskell2010

Analysis.Processes

Documentation

generateGraphProcess :: GenerateProcess m => RuleSequence m -> [(String, Production m)] Source #

calculateRulesColimit :: GenerateProcess m => RuleSequence m -> [NamedRuleWithMatches m] Source #

findConflictsAndDependencies :: GenerateProcess m => [NamedRuleWithMatches m] -> [Interaction] Source #