Lines Matching full:assumptions
134 // Equivalence Assumptions
142 // stored assumptions using the Values map that stores proven equivalences
153 // assumptions were made, this is not entirely clear, because in principle we
157 // To see that assumptions do not add false negatives, note that if we do not
159 // and new values that is consistent with all assumptions made. The circular
170 // proven to differ, or pairs whose equivalence depends on assumptions to be
208 // assumptions in BlockDiffCandidates. Its presence controls whether
209 // assumptions are generated.
284 // Check assumptions in checkAndReportDiffCandidates()
318 // immediately or via invalid assumptions. in diff()
695 // documentation on assumptions.
743 // Assumptions disabled, so pessimistically assume non-equivalence. in equivalentAsOperands()