Searched refs:AllowedClausesSet (Results 1 – 1 of 1) sorted by relevance
213 SmallSet<Clause, 30> AllowedClausesSet; in expectAllowedClauses() local216 AllowedClausesSet.insert(Cl); in expectAllowedClauses()220 if (!AllowedClausesSet.contains(Cl)) { in expectAllowedClauses()