Searched defs:NumLiterals (Results 1 – 4 of 4) sorted by relevance
133 const size_t NumLiterals = 2 * LargestVar + 1; in BooleanFormula() local
3422 unsigned NumLiterals = 0; in validateConstantBusLimitations() local4137 unsigned NumLiterals = 0; in validateSOPLiteral() local4245 unsigned NumLiterals = 0; in validateVOPLiteral() local
1698 unsigned NumLiterals = in SelectGlobalSAddr() local
4067 unsigned NumLiterals = in selectGlobalSAddr() local