edu.williams.cs.ljil.finitizer
Interface PendingTransformation

All Superinterfaces:

Transformation

public interface PendingTransformation
extends Transformation

Author:

shimon A transformation delayed until FSP generation is requested.

Method Summary

void	apply() Apply transformation.

Methods inherited from interface edu.williams.cs.ljil.finitizer.Transformation

getStepRef

Method Detail

apply

void apply()
           throws java.lang.Exception

Apply transformation.

Throws:

java.lang.Exception