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)
IntegratedFlowFunction
interpretOrReplace
in interface IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,ConstantsAssumption>
Copyright © 2018. All rights reserved.