Uses of Class
pascal.taie.analysis.graph.icfg.NormalEdge

Packages that use NormalEdge

Package	Description
pascal.taie.analysis.dataflow.inter

Uses of NormalEdge in pascal.taie.analysis.dataflow.inter

Methods in pascal.taie.analysis.dataflow.inter with parameters of type NormalEdge

Modifier and Type	Method	Description
protected abstract Fact	AbstractInterDataflowAnalysis.transferNormalEdge(NormalEdge<Node> edge, Fact out)
protected CPFact	InterConstantPropagation.transferNormalEdge(NormalEdge<Stmt> edge, CPFact out)