PathCounter.CountingResult |
BottomUpBFMultiplicitiesPathCounter.countPaths(com.ensoftcorp.atlas.core.query.Q cfg) |
Counts the number of paths in a given CFG
Example Atlas Shell Usage:
var function = functions("function name here")
var graph = cfg(function)
var counter = BottomUpBFMultiplicitiesPathCounter
counter.countPaths(graph)
|
PathCounter.CountingResult |
BottomUpDFMultiplicitiesPathCounter.countPaths(com.ensoftcorp.atlas.core.query.Q cfg) |
Counts the number of paths in a given CFG
Example Atlas Shell Usage:
var function = functions("function name here")
var graph = cfg(function)
var counter = new BottomUpDFMultiplicitiesPathCounter
counter.countPaths(graph)
|
PathCounter.CountingResult |
TopDownBFMultiplicitiesPathCounter.countPaths(com.ensoftcorp.atlas.core.query.Q cfg) |
Counts the number of paths in a given CFG
Example Atlas Shell Usage:
var function = functions("function name here")
var graph = cfg(dskqopt)
var counter = new TopDownBFMultiplicitiesPathCounter
counter.countPaths(graph)
|
PathCounter.CountingResult |
TopDownDFMultiplicitiesPathCounter.countPaths(com.ensoftcorp.atlas.core.query.Q cfg) |
Counts the number of paths in a given CFG
Example Atlas Shell Usage:
var function = functions("function name here")
var graph = graph(function)
var counter = new TopDownDFMultiplicitiesPathCounter
counter.countPaths(graph)
|
PathCounter.CountingResult |
BottomUpBFMultiplicitiesPathCounter.countSTPaths(com.ensoftcorp.atlas.core.query.Q cfg,
com.ensoftcorp.atlas.core.query.Q s,
com.ensoftcorp.atlas.core.query.Q t) |
Counts the number of paths between two nodes in a given CFG
Example Atlas Shell Usage:
var function = functions("function name here")
var graph = graph(function)
var s = start node
var t = end node
var counter = new BottomUpBFMultiplicitiesPathCounter
counter.countSTPaths(graph,s,t)
|
PathCounter.CountingResult |
BottomUpDFMultiplicitiesPathCounter.countSTPaths(com.ensoftcorp.atlas.core.query.Q cfg,
com.ensoftcorp.atlas.core.query.Q s,
com.ensoftcorp.atlas.core.query.Q t) |
Counts the number of paths between two nodes in a given CFG
Example Atlas Shell Usage:
var function = functions("function name here")
var graph = graph(function)
var s = start node
var t = end node
var counter = new BottomUpDFMultiplicitiesPathCounter
counter.countSTPaths(graph,s,t)
|
PathCounter.CountingResult |
TopDownBFMultiplicitiesPathCounter.countSTPaths(com.ensoftcorp.atlas.core.query.Q cfg,
com.ensoftcorp.atlas.core.query.Q s,
com.ensoftcorp.atlas.core.query.Q t) |
Counts the number of paths between two nodes in a given CFG
Example Atlas Shell Usage:
var function = functions("function name here")
var graph = graph(function)
var s = start node
var t = end node
var counter = new TopDownBFMultiplicitiesPathCounter
counter.countSTPaths(graph,s,t)
|
PathCounter.CountingResult |
TopDownDFMultiplicitiesPathCounter.countSTPaths(com.ensoftcorp.atlas.core.query.Q cfg,
com.ensoftcorp.atlas.core.query.Q s,
com.ensoftcorp.atlas.core.query.Q t) |
Counts the number of paths between two nodes in a given CFG
Example Atlas Shell Usage:
var function = functions("function name here")
var graph = graph(function)
var s = start node
var t = end node
var counter = new TopDownDFMultiplicitiesPathCounter
counter.countSTPaths(graph,s,t)
|