public class CopyFlowFunction extends Object implements FlowFunction<CfgNode<?>,CfgEdge,Cfg,CopyAssumption>
Constructor and Description |
---|
CopyFlowFunction() |
Modifier and Type | Method and Description |
---|---|
void |
interpret(CfgNode<?> node,
Cfg g,
AssumptionMap<CfgEdge,CopyAssumption> assumptionMap)
Interpret node by computing new node assumptions from current ones.
|
public void interpret(CfgNode<?> node, Cfg g, AssumptionMap<CfgEdge,CopyAssumption> assumptionMap)
FlowFunction
interpret
in interface FlowFunction<CfgNode<?>,CfgEdge,Cfg,CopyAssumption>
Copyright © 2018. All rights reserved.