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

Class Summary

Class	Description
LinearizationTransformation	Basic class that invokes Linearization transformation, by removing any if statement, and leaving only its "then" and "else" statements.
LinearizationVisitor	Linearalize region statement by removing "If" Statements and embedding statements on the "then" and the "else" side, to become one stream of composition statements.