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)
TransformationFunction
transform
in interface TransformationFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,ConstantsAssumption>
null
if no transformation is
necessary.Copyright © 2018. All rights reserved.