Searched defs:Assumption (Results 1 – 6 of 6) sorted by relevance
70 bool Assumption) { in assume()99 SymbolRef Sym, bool Assumption) { in assumeAuxForSymbol()116 bool Assumption) { in assumeAux()
306 bool Assumption, in assumeInBound()
572 SVal Cond, bool Assumption) { in runCheckersForEvalAssume()
133 bool Assumption; variable
644 bool Assumption) const { in assume()665 bool Assumption) const { in assumeWithinInclusiveRange()
943 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty()975 bool Assumption) { in assumeCollectionNonEmpty()