Searched refs:visitedm (Results 1 – 1 of 1) sorted by relevance
165 std::map<Node, std::map<int, bool> > visitedm; in initialize() local171 processMonotonic(a, true, true, var_bound, visitedm); in initialize()