| Portability | unportable |
|---|---|
| Stability | unstable |
| Maintainer | Martin Avanzini <martin.avanzini@uibk.ac.at> |
| Safe Haskell | Safe-Infered |
Tct.Encoding.Relative
Description
This module implements a SAT encoding for relative rewriting, where not all rules are strictly oriented.
- data Orientation
- strictlyOriented :: Rule -> Orientation
- weaklyOriented :: Rule -> Orientation
- initialStrictRules :: StrictRules
- newtype StrictRules = Sr {}
Documentation
data Orientation
strictlyOriented :: Rule -> Orientation
Use strictlyOriented as atom to denote
that the given rule is strictly oriented.
weaklyOriented :: Rule -> Orientation
Use weaklyOriented as atom to denote
that the given rule is weakly oriented.
Initial value for StrictRules
The encoding decodes to a set of strict rules.