Next: Termset automaton
Up: Termset
 Previous: Termset
 
With the Accessibility  command, one may check whether a termset
is accessible from the current term with regard to the current
approximation.
To check accessibility to a single term, just enter a termset containing
that term.
 
Irene DURAND 
2005-02-01