Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

edu.williams.cs.ljil.finitizer
Interface AppliedTransformation

All Superinterfaces:
Transformation
public interface AppliedTransformation
extends Transformation

Author:
shimon A transformation that is already applied.

Method Summary
 
Methods inherited from interface edu.williams.cs.ljil.finitizer.Transformation
getStepRef
 

Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD