
public class ConstantsIntegratedFlowFunction extends Object implements IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,ConstantsAssumption>
| Constructor and Description |
|---|
ConstantsIntegratedFlowFunction() |
| Modifier and Type | Method and Description |
|---|---|
TransformationFunction.Transformation<CfgTransformer,Cfg> |
interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap)
Either interpret a node by computing new assumptions, or produce
node transformation.
|
public TransformationFunction.Transformation<CfgTransformer,Cfg> interpretOrReplace(CfgNode<?> node, Cfg graph, AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap)
IntegratedFlowFunctioninterpretOrReplace in interface IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,ConstantsAssumption>Copyright © 2018. All rights reserved.