Uses of Class
xrel.analyzer.TADifferenceState

Packages that use TADifferenceState
xrel.analyzer This package contains the classes that process the output of the parser and that perform static checking of the program.  
 

Uses of TADifferenceState in xrel.analyzer
 

Methods in xrel.analyzer that return TADifferenceState
protected  TADifferenceState TADifference.getState(TAState s1, java.util.HashSet sList)