Package kites.TRSModel

Class Summary
ASTNode Abstract class representing a node in a syntax tree.
Constant Represents a constant symbol in a syntax tree.
Function This class represents a function symbol in a TRS.
Rule This class represents a single rule of a ruleset.
TRSFile This class holds a complete TRS, including its instance, if specified in the source file
Variable This class represents a variable symbol in a term.