Lines Matching full:dimensions

38   /// the number of dimensions and symbols.
50   /// Constructs a constraint system with the specified number of dimensions
53   /// dimensions and symbols.
90   /// Note: The dimensions/symbols of this FlatLinearConstraints must match the
91   /// dimensions/symbols of the affine map.
110   /// Note: The dimensions/symbols of this FlatLinearConstraints must match the
111   /// dimensions/symbols of the affine map. By default the lower bound is closed
141   /// Composes an affine map whose dimensions and symbols match one to one with
142   /// the dimensions and symbols of this FlatLinearConstraints. The results of
143   /// the map `other` are added as the leading dimensions of this constraint
148   /// treating [0, offset) U [offset + num, symStartPos) as dimensions and
220   /// Prints the number of constraints, dimensions, symbols and locals in the
237   /// the number of dimensions and symbols.
254   /// the number of dimensions and symbols.
268   /// Constructs a constraint system with the specified number of dimensions
271   /// dimensions and symbols.
281   /// Constructs a constraint system with the specified number of dimensions
284   /// dimensions and symbols.
434   /// Prints the number of constraints, dimensions, symbols and locals in the
471   /// being treated specially. For each of the dimensions, the min of the lower
491 /// dimensions, symbols, and additional variables that represent floor divisions
492 /// of dimensions, symbols, and in turn other floor divisions.  Returns failure
527 /// Re-indexes the dimensions and symbols of an affine map with given `operands`
539 /// The resulting affine map has `dims.size()` many dimensions and at least
546 /// Note: As part of this re-indexing, dimensions may turn into symbols, or vice