Searched refs:OpenParenSet (Results 1 – 4 of 4) sorted by relevance
343 using OpenParenSet = std::unordered_set<State, StateHash>; variable427 OpenParenSet open_paren_set_;
354 typedef unordered_set<ParenState<A>, typename ParenState<A>::Hash> OpenParenSet; typedef444 OpenParenSet open_paren_set_; // open par. at dest?