Searched refs:AllExtensions (Results 1 – 2 of 2) sorted by relevance
64 SmallSet<Extension::Extension, 4> AllExtensions; member78 AllExtensions.clear(); in clear()86 return AllExtensions; in getExtensions()94 AllExtensions.insert(ToAdd.begin(), ToAdd.end()); in addExtensions()96 void addExtension(Extension::Extension ToAdd) { AllExtensions.insert(ToAdd); } in addExtension()
535 for (auto Ext : AllExtensions) { in checkSatisfiable()