next up previous
Next: Reduction and Needed Reduction Up: Termset Previous: Accessibility

Termset automaton

With the Termset automaton command, one may get obtain an automaton recognizing the termset. With the Accessibility command one may check whether the set of instances of the current termset is accessible from the current term using the current approximation.



Irene DURAND
2005-02-01