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

Class LinearizationTransformation

java.lang.Object

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

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

All Implemented Interfaces:

Transformation

public class LinearizationTransformation
extends DefaultTransformation

Basic class that invokes Linearization transformation, by removing any if statement, and leaving only its "then" and "else" statements. It returns a new region that has been linearized.

Constructor Summary

Constructors

Constructor and Description
LinearizationTransformation()

Method Summary

Modifier and Type	Method and Description
DynamicRegion	execute(DynamicRegion region)

Methods inherited from class gov.nasa.jpf.symbc.veritesting.ast.transformations.DefaultTransformation

execute, getName, updateInvariants

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LinearizationTransformation

public LinearizationTransformation()

Method Detail

execute

public DynamicRegion execute(DynamicRegion region)

Specified by:

execute in class DefaultTransformation