Lines Matching refs:affine_dim
33 : affine_dim(0), lin_space_dim(0), num_constraints(0), num_points(0), in BHRZ03_Certificate()
50 affine_dim = space_dim; in BHRZ03_Certificate()
57 --affine_dim; in BHRZ03_Certificate()
102 if (affine_dim != y.affine_dim) { in compare()
103 return (affine_dim > y.affine_dim) ? 1 : -1; in compare()
168 if (ph_affine_dim > affine_dim) { in compare()
172 PPL_ASSERT(ph_affine_dim == affine_dim); in compare()
258 if (affine_dim > space_dim) { in OK()
268 if (lin_space_dim > affine_dim) { in OK()
279 if (num_constraints < space_dim - affine_dim) { in OK()
288 << "affine_dim = " << affine_dim << ", " in OK()