||This class is able to perform various syntax checks on TRSs.
||This class provides everything necessary to transform a
RuleList and an
instance of it to the normal form.
||This class provides means for generating decompositions in
Decomposition as term rewrite system
Decomposition as non-deterministic program
Decomposition for execution in program mode is performed at
the same time as the rewrite and can therefore be found in
||This class performs the actual rewriting.