Lines Matching refs:Assumption
643 ID.AddBoolean(Assumption);
663 if (PrevN->getState()->assume(Constraint, !Assumption)) {
670 if (N->getState()->assume(Constraint, !Assumption))
680 os << (Assumption ? "non-null" : "null");
1073 // If an assumption was made on a branch, it should be caught
