Lines Matching full:division

108 /// Class storing division representation of local variables of a constraint
112 /// of the division has no meaning and the denominator is zero. If it has a
115 /// The i^th division here, represents the division representation of the
127   // Get the offset from where division variables start.
130   // Check whether the `i^th` division has a division representation or not.
132   // Check whether all the divisions have a division representation or not.
135   // Clear the division representation of the i^th local variable.
138   // Get the dividend of the `i^th` division.
147   // division variables, try to find the values for each division variable from
148   // their division representation.
165   // each valid division. Divide the dividends and divisor by the GCD to
173   /// Removes duplicate divisions. On every possible duplicate division found,
175   /// divisions, is called and division at index `j` is merged into division at
177   /// `j^th` division gets eliminated and it's each instance is replaced by
178   /// `i^th` division. If it returns `false`, the divisions are not merged.
188   /// Each row of the Matrix represents a single division dividend. The
193   /// Denominators of each division. If a denominator of a division is `0`, the
194   /// division variable is considered to not have a division representation.
212 /// local variable to be a floor division of an expression involving itself.
254 /// While taking union, if a local var in any set has a division representation
255 /// which is a duplicate of division representation, of another local var in any