Searched defs:NumLiterals (Results 1 – 4 of 4) sorted by relevance
145 const size_t NumLiterals = 2 * LargestVar + 1; in CNFFormula() local
3549 unsigned NumLiterals = 0; in validateConstantBusLimitations() local4331 unsigned NumLiterals = 0; in validateSOPLiteral() local4487 unsigned NumLiterals = 0; in validateVOPLiteral() local
1784 unsigned NumLiterals = in SelectGlobalSAddr() local
4453 unsigned NumLiterals = in selectGlobalSAddr() local