Searched refs:containsConstructor (Results 1 – 3 of 3) sorted by relevance
28 SortTable::containsConstructor(const NatSet& state, bool& unique) in containsConstructor() function in SortTable180 ctorDiagram.append(containsConstructor(all, unique)); in buildCtorDiagram()217 ctorDiagram[index] = containsConstructor(nextState, unique); in buildCtorDiagram()
114 bool containsConstructor(const NatSet& state, bool& unique);
1798 * ctorDiagram.cc (containsConstructor): take unique arg1925 * ctorDiagram.cc (containsConstructor): fixed spelling of2357 * ctorDiagram.cc (containsConstructor): use new style2526 containsConstructor()2528 * ctorDiagram.cc (containsConstructor): removed constness2540 (containsConstructor): rewritten to check for ctor inconsistancy2558 containsConstructor(), partiallySubsumesWrtCtor(),