| Portability | unportable |
|---|---|
| Stability | unstable |
| Maintainer | Martin Avanzini <martin.avanzini@uibk.ac.at> |
| Safe Haskell | Safe-Infered |
Tct.Method.ToInnermost
Contents
Description
Switches from full to innermost rewriting for overlay, right-linear TRSs
Documentation
Proof Object
data ToInnermostProof
Constructors
| ToiNonOverlay | |
| ToiNonRightLinear | |
| ToiContainsWeakRules | |
| ToiSuccess |
Instances
Processor
data ToInnermost