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