Lines Matching defs:distance
138 const Loop* loop, SENode* distance, SENode* coefficient) {
173 // We can attempt to deal with symbolic cases by subtracting |distance| and
179 scalar_evolution_.CreateSubtraction(distance, bounds))
183 "IsProvablyOutsideOfLoopBounds found distance - bounds as a "
186 // If distance - bounds > 0 we prove the distance is outwith the loop
190 "IsProvablyOutsideOfLoopBounds found distance escaped the loop "
485 // A distance of |d| is equivalent to a line |x - y = -d|
486 if ((GetType() == ConstraintType::Distance &&
489 other.GetType() == ConstraintType::Distance)) {
494 auto distance = as_distance->GetDistance();
498 auto scalar_evolution = distance->GetParentAnalysis();
501 scalar_evolution->CreateNegation(distance));
