Lines Matching full:division

29 /// Normalize a division's `dividend` and the `divisor` by their GCD. For
43   // For a division:
48   // influence the result of the floor division and thus, can be ignored.
61 /// Check if the pos^th variable can be represented as a division using upper
84 /// strictly tighter than the division bounds described above, since tighter
85 /// bounds imply the division bounds. For example:
96 /// If successful, `expr` is set to dividend of the division and `divisor` is
97 /// set to the denominator of the division, which will be positive.
98 /// The final division expression is normalized by GCD.
138   // The inequality pair can be used to extract the division.
139   // Set `expr` to the dividend of the division except the constant term, which
154 /// Check if the pos^th variable can be represented as a division using
162 /// If successful, `expr` is set to dividend of the division and `divisor` is
163 /// set to the denominator of the division. The final division expression is
295   // Merge local vars of relA and relB without using division information,
303   // Get division representations from each rel.
321          "Local to be set to division must have zero coeff!");
333          "Local to be set to division must have zero coeff!");
401       // If division value is found, continue;
408       // Check if we have all the division values required for this division.
413         // Division value required, but not found yet.
419       // We have some division values that are still not found, but are required
420       // to find the value of this division.
429       // Take floor division with denominator.
445   // TODO: Add division normalization to support divisions that differ by
447   // TODO: Add division ordering such that a division representation for local
453     // Check if a division representation exists for the `i^th` local var.
456     // Check if a division exists which is a duplicate of the division at `i`.
458       // Check if a division representation exists for the `j^th` local var.
468       // Merge divisions at position `j` into division at position `i`. If
474       // Update division information to reflect merging.