Lines Matching full:given
42 /// Gets the context in which the given integer set lives.
68 /// dimensions and symbols in the given context.
73 /// Gets or creates a new integer set in the given context. The set is defined
74 /// by a list of affine constraints, with the given number of input dimensions
84 /// given set are replaced with the given affine expressions. `dimReplacements`
86 /// consecutive expressions as the given set has dimensions and symbols,
94 /// Checks whether the given set is a canonical empty set, e.g., the set
98 /// Returns the number of dimensions in the given set.
101 /// Returns the number of symbols in the given set.
104 /// Returns the number of inputs (dimensions + symbols) in the given set.
107 /// Returns the number of constraints (equalities + inequalities) in the given
111 /// Returns the number of equalities in the given set.
114 /// Returns the number of inequalities in the given set.