Searched defs:cur_set (Results 1 – 2 of 2) sorted by relevance
624 val_set & cur_set() { return stk[level]; } in cur_set() function
423 UnobservablesSet cur_set = UnobservablesSet::Unvisited(); // irrelevant in RecomputeUseIntersection() local