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 Transformation

All Known Subinterfaces:
AppliedTransformation, PendingTransformation
public interface Transformation

Author:
shimon Interface for all transformations. These are registered with the FSPBuilder in order to record

Method Summary
 laser.littlejil.AbstractStep getStepRef()
          Get the StepRef this change applies to
 

Method Detail

getStepRef

laser.littlejil.AbstractStep getStepRef()
Get the StepRef this change applies to

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