Toggle navigation
PAKCS
All operations
All constructors
Curry Homepage
PAKCS Libraries
About CurryDoc
API Documentation of Package 'rewriting'
Modules:
Rewriting.CriticalPairs
Rewriting.DefinitionalTree
Rewriting.Files
Rewriting.Narrowing
Rewriting.Position
Rewriting.Rules
Rewriting.Strategy
Rewriting.Substitution
Rewriting.Term
Rewriting.Unification
Rewriting.UnificationSpec
Explanations of the icons used in the documentation:
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