gov.nasa.jpf.symbc.veritesting.ast.transformations

Interface Transformation

All Known Implementing Classes:

DefaultTransformation, LinearizationTransformation, TransformationList

public interface Transformation

A Transformation describes a transformation and the set of invariants that are expected to hold prior to and after its occurrence.

Method Summary

Modifier and Type	Method and Description
TransformationData	execute(TransformationData data)
java.lang.String	getName()

Method Detail

execute

TransformationData execute(TransformationData data)
                    throws StaticRegionException

Throws:

StaticRegionException

getName

java.lang.String getName()