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