- Rewriting.CriticalPairs
- Rewriting.DefinitionalTree
- Rewriting.Files
- Rewriting.Narrowing
- Rewriting.Position
- Rewriting.Rules
- Rewriting.Strategy
- Rewriting.Substitution
- Rewriting.Term
- Rewriting.Unification
- Rewriting.UnificationSpec

Operation is deterministic, i.e., defined by exclusive rules and depend only on deterministic operations | ||

Operation might be non-deterministic, i.e., it is defined by overlapping rules or depend on non-deterministic operations |