Portability | unportable |
---|---|
Stability | unstable |
Maintainer | Martin Avanzini <martin.avanzini@uibk.ac.at>, Andreas Schnabl <andreas.schnabl@uibk.ac.at> |
Safe Haskell | Safe-Infered |
This module implements search for compatibility violations, as employed in the bound processor.
Documentation
decidingLabel :: Enrichment -> Strictness -> WeakBoundedness -> Label -> Rule -> LTerm -> Label
findViolations :: Automaton -> Enrichment -> Strictness -> WeakBoundedness -> Label -> Rule -> Set (LTerm, State)