Searched refs:NClauses (Results 1 – 2 of 2) sorted by relevance
69 unsigned NClauses) { in CreateDeserialized() argument71 C, ID, NClauses, NVars, SourceLocation()); in CreateDeserialized()
500 unsigned NVars, unsigned NClauses);