Searched refs:AllowedClauses (Results 1 – 1 of 1) sorted by relevance
212 const ArrayRef<Clause> &AllowedClauses) { in expectAllowedClauses() argument214 for (Clause Cl : AllowedClauses) { in expectAllowedClauses()