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