/*
* Print the mapping for t as a comment in DIMACS
*/
void dimacs_print_term_map(FILE *f, context_t *ctx, term_t t) {
term_table_t *terms;
terms = ctx->terms;
assert(good_term(terms, t));
fputs("c ", f);
print_term_name(f, terms, t);
fputs(" --> ", f);
dimacs_print_internalized_term(f, ctx, t);
fputc('\n', f);
}
/*
* Print a term partition
*/
void print_epartition(FILE *f, term_table_t *terms, epartition_t *p) {
term_t *q, t;
uint32_t i, n;
n = p->nclasses;
if (n == 0) {
fprintf(f, "empty");
} else {
q = p->data;
for (i=0; i<n; i++) {
fprintf(f, " {");
t = *q ++;
while (t >= 0) {
fputc(' ', f);
print_term_name(f, terms, t);
t = *q ++;
}
fprintf(f, " }");
}
}
}
