C++ (Cpp) print_constraint Examples

Example #1

File: lar_solver.cpp Project: avigad/lean

// ********** 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);
}

Example #2

File: index_set.cpp Project: baharev/old_sandbox

void index_set::print(ostream& out) const {

	const int n = number_of_constraints();

	for (int i=0; i<n; ++i) {

		print_constraint(i, out);
	}
}