Searched refs:AllExtensions (Results 1 – 2 of 2) sorted by relevance
71 SmallSet<Extension::Extension, 4> AllExtensions; member87 AllExtensions.clear(); in clear()93 return AllExtensions; in getExtensions()101 AllExtensions.insert(ToAdd.begin(), ToAdd.end()); in addExtensions()103 void addExtension(Extension::Extension ToAdd) { AllExtensions.insert(ToAdd); } in addExtension()
582 for (auto Ext : AllExtensions) { in checkSatisfiable()