Searched defs:NumLiterals (Results 1 – 4 of 4) sorted by relevance
120 const size_t NumLiterals = 2 * CNF.largestVar() + 1; in WatchedLiteralsSolverImpl() local
3715 unsigned NumLiterals = 0; in validateConstantBusLimitations() local4501 unsigned NumLiterals = 0; in validateSOPLiteral() local4662 unsigned NumLiterals = 0; in validateVOPLiteral() local
1807 unsigned NumLiterals = in SelectGlobalSAddr() local
4414 unsigned NumLiterals = in selectGlobalSAddr() local