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