Searched defs:NumLiterals (Results 1 – 4 of 4) sorted by relevance
133 const size_t NumLiterals = 2 * LargestVar + 1; in BooleanFormula() local
3470 unsigned NumLiterals = 0; in validateConstantBusLimitations() local4188 unsigned NumLiterals = 0; in validateSOPLiteral() local4291 unsigned NumLiterals = 0; in validateVOPLiteral() local
1688 unsigned NumLiterals = in SelectGlobalSAddr() local
4001 unsigned NumLiterals = in selectGlobalSAddr() local