Lines Matching defs:assume
162 // Various "assume" methods form the interface for adding constraints to
163 // symbolic values. A call to 'assume' indicates an assumption being placed
164 // on one or symbolic values. 'assume' methods take the following inputs:
168 // (2) The assumed constraint (which is specific to a given "assume" method).
173 // The output of "assume*" is a new ProgramState object with the added constraints.
182 LLVM_NODISCARD ProgramStateRef assume(DefinedOrUnknownSVal cond,
188 /// This is more efficient than calling assume() twice. Note that one (but not
191 assume(DefinedOrUnknownSVal cond) const;
211 /// This is more efficient than calling assume() twice. Note that one (but not
659 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond,
665 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption);
669 ProgramState::assume(DefinedOrUnknownSVal Cond) const {