Searched refs:non_int_dim (Results 1 – 1 of 1) sorted by relevance
2060 dimension_type non_int_dim = mip.space_dimension(); in solve_mip() local2068 non_int_dim = *v_begin; in solve_mip()2101 PPL_ASSERT(non_int_dim < mip.space_dimension()); in solve_mip()2116 << (Variable(non_int_dim) <= tmp_coeff1) in solve_mip()2123 mip.add_constraint(Variable(non_int_dim) >= tmp_coeff2); in solve_mip()2128 << (Variable(non_int_dim) >= tmp_coeff2) in solve_mip()2240 dimension_type non_int_dim; in is_mip_satisfiable() local2256 non_int_dim = *v_begin; in is_mip_satisfiable()2267 PPL_ASSERT(non_int_dim < mip.space_dimension()); in is_mip_satisfiable()2282 << (Variable(non_int_dim) <= tmp_coeff1) in is_mip_satisfiable()[all …]