Searched refs:rvisited (Results 1 – 2 of 2) sorted by relevance
1258 rvisited = set()1273 elif ndid not in rvisited:1275 rvisited.add(ndid)
1380 std::map< Node, Node > rvisited; in instantiateLabel() local1382 … rem = applyLabel( rem, NodeManager::currentNM()->mkNode( kind::SETMINUS, lbl, mval ), rvisited ); in instantiateLabel()