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()
511 SVal Cond, bool Assumption) { in runCheckersForEvalAssume()
131 bool Assumption; variable
945 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty()977 bool Assumption) { in assumeCollectionNonEmpty()
636 bool Assumption) const { in assume()