Searched refs:AllClauses (Results 1 – 1 of 1) sorted by relevance
20 static const Clause AllClauses[] = {ACCC_unknown, variable219 for (Clause Cl : AllClauses) { in expectAllowedClauses()