cz::muni::stanse::pointeranalyzer::shapirohorwitz::VariableCounter Member List

This is the complete list of members for cz::muni::stanse::pointeranalyzer::shapirohorwitz::VariableCounter, including all inherited members.

countVariables(Collection< CFGHandle > cfgs)

cz::muni::stanse::pointeranalyzer::shapirohorwitz::VariableCounter

[inline, static]