// ********** print region start void lar_solver::print_constraint(constraint_index ci, std::ostream & out) { if (m_normalized_constraints.size() <= ci) { std::string s = "constraint " + T_to_string(ci) + " is not found"; out << s << std::endl; return; } print_constraint(&m_normalized_constraints[ci], out); }
void index_set::print(ostream& out) const { const int n = number_of_constraints(); for (int i=0; i<n; ++i) { print_constraint(i, out); } }