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

Interface Invariant

public interface Invariant

An interface for checking invariants of every transformation.

Method Summary

Modifier and Type	Method and Description
void	checkInvariant(Region region)
java.lang.String	getName()

Method Detail

checkInvariant

void checkInvariant(Region region)
             throws StaticRegionException

Throws:

StaticRegionException

getName

java.lang.String getName()