detects whether a rule group is an edge-addition rule group, and emits a corresponding information. These rule groups always terminate.
can prove for certain other types of rule groups whether they terminate.
This check is performed according to the edge-additive
termination criterion of XGRS [Aßm96b].
The result for each rule group
is printed as information on the console. With option
ShowTermination also the
termination edges of each rule are
printed.3.2