
public class LivenessIntegratedFlowFunction extends Object implements IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,LivenessAssumption>
| Constructor and Description |
|---|
LivenessIntegratedFlowFunction() |
| Modifier and Type | Method and Description |
|---|---|
TransformationFunction.Transformation<CfgTransformer,Cfg> |
interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,LivenessAssumption> 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,LivenessAssumption> assumptionMap)
IntegratedFlowFunctioninterpretOrReplace in interface IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,LivenessAssumption>Copyright © 2018. All rights reserved.