Lines Matching defs:assume
158 // Various "assume" methods form the interface for adding constraints to
159 // symbolic values. A call to 'assume' indicates an assumption being placed
160 // on one or symbolic values. 'assume' methods take the following inputs:
164 // (2) The assumed constraint (which is specific to a given "assume" method).
169 // The output of "assume*" is a new ProgramState object with the added constraints.
173 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
177 /// 'assume' twice.
179 assume(DefinedOrUnknownSVal cond) const;
614 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond,
619 return getStateManager().ConstraintMgr->assume(this, cast<DefinedSVal>(Cond),
624 ProgramState::assume(DefinedOrUnknownSVal Cond) const {