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