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