Next: Reduction and Needed Reduction
Up: Termset
 Previous: Accessibility
 
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