diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2020-07-12 13:13:22 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2020-07-14 06:48:48 +0200 |
| commit | 1e122197752090bcb8d422b980b01ccfae824c97 (patch) | |
| tree | b99317cc8cb837d82da6c2f2860f01c535141a61 /src/counterexample.h | |
| parent | d8c2af56c1f8ae4fd334b057d117ae401ebf4a3f (diff) | |
| download | bison-1e122197752090bcb8d422b980b01ccfae824c97.tar.gz | |
cex: minor style changes
* src/counterexample.h, src/derivation.h, src/derivation.c:
More comments.
Use `out` for FILE*, as elsewhere.
Diffstat (limited to 'src/counterexample.h')
| -rw-r--r-- | src/counterexample.h | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/counterexample.h b/src/counterexample.h index c251d319..735828fa 100644 --- a/src/counterexample.h +++ b/src/counterexample.h @@ -20,11 +20,17 @@ #ifndef COUNTEREXAMPLE_H # define COUNTEREXAMPLE_H -# include "state-item.h" +# include "state.h" +// Init/deinit this module. void counterexample_init (void); void counterexample_free (void); -void counterexample_report_state (const state *s, FILE *out, const char *prefix); +// Print the counterexamples for the conflicts of state S. +// +// Used both for the warnings on the terminal (OUT = stderr, PREFIX = +// ""), and for the reports (OUT != stderr, PREFIX != ""). +void +counterexample_report_state (const state *s, FILE *out, const char *prefix); #endif /* COUNTEREXAMPLE_H */ |