Package kites.logic

Class Summary
CheckTRS This class is able to perform various syntax checks on TRSs.
Codification This class provides everything necessary to transform a RuleList and an instance of it to the normal form.
Decomposition This class provides means for generating decompositions in two modes: 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 ProgramRewrite.
ProgramRewrite This class performs the actual rewriting.