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