next up previous
Next: Termset automaton Up: Termset Previous: Termset

Accessibility

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