cex: style: prefer FOO_print to print_FOO

* src/state-item.h, src/state-item.c (print_state_item): Rename as...
(state_item_print): this.
* src/counterexample.c (print_counterexample): Rename as...
(counterexample_print): this.
This commit is contained in:
Akim Demaille
2020-07-28 19:46:41 +02:00
parent be95a4fe29
commit ece343d2c2
5 changed files with 15 additions and 14 deletions

View File

@@ -475,7 +475,7 @@ prune_disabled_paths (void)
}
void
print_state_item (const state_item *si, FILE *out, const char *prefix)
state_item_print (const state_item *si, FILE *out, const char *prefix)
{
fputs (prefix, out);
item_print (si->item, NULL, out);
@@ -506,7 +506,7 @@ state_items_report (void)
if (si->trans >= 0)
{
fputs (" -> ", stdout);
print_state_item (&state_items[si->trans], stdout, "");
state_item_print (&state_items[si->trans], stdout, "");
}
bitset sets[2] = { si->prods, si->revs };
@@ -521,7 +521,7 @@ state_items_report (void)
BITSET_FOR_EACH (biter, b, sin, 0)
{
fputs (txt[seti], stdout);
print_state_item (&state_items[sin], stdout, "");
state_item_print (&state_items[sin], stdout, "");
}
}
}