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

Class Summary

Class	Description
ExpUniqueVisitor	Unique Expression Visitor that ensures the uniqueness of vars used inside the region.
UniqueRegion	Unique region creator, of both conditional regions and method regions.