
public class ConstantsTransformationFunction extends Object implements TransformationFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,ConstantsAssumption>
TransformationFunction.Transformation<T,G extends Graph<?,?,T>>| Constructor and Description |
|---|
ConstantsTransformationFunction() |
| Modifier and Type | Method and Description |
|---|---|
TransformationFunction.Transformation<CfgTransformer,Cfg> |
transform(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap)
Gets node transformation for a given node.
|
public TransformationFunction.Transformation<CfgTransformer,Cfg> transform(CfgNode<?> node, Cfg graph, AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap)
TransformationFunctiontransform in interface TransformationFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,ConstantsAssumption>null if no transformation is
necessary.Copyright © 2018. All rights reserved.