Searched refs:AllExtensions (Results 1 – 2 of 2) sorted by relevance
73 SmallSet<Extension::Extension, 4> AllExtensions; member89 AllExtensions.clear(); in clear()95 return AllExtensions; in getExtensions()103 AllExtensions.insert_range(ToAdd); in addExtensions()105 void addExtension(Extension::Extension ToAdd) { AllExtensions.insert(ToAdd); } in addExtension()
757 for (auto Ext : AllExtensions) { in checkSatisfiable()