Home
last modified time | relevance | path

Searched defs:fact (Results 1 – 2 of 2) sorted by relevance

/arkcompiler/ets_frontend/ets2panda/linter/arkanalyzer/src/core/dataflow/
DEdge.ts20 public fact: D; property in PathEdgePoint
DDataflowSolver.ts215 for (let fact of returnFlowFunc.getDataFacts(exitEdgePoint.fact)) { variable
245 for (let fact of set) { variable
272 for (let fact of facts) { variable
278 for (let fact of set) { variable