Searched defs:nodePred (Results 1 – 2 of 2) sorted by relevance
40 DependentEdgePredicate::DependentEdgePredicate(DependentPredicate nodePred, Graph const& graph) : n… in DependentEdgePredicate()
1874 auto nodePred = [&](auto _node) { return Predicate::predicate(_graph.nodes.at(_node).name); }; in generateCounterexample() local2014 Predicate const* nodePred = Predicate::predicate(_graph.nodes.at(node).name); in summaryCalls() local