src/counterexample.h

   1 /* Conflict counterexample generation
   2
   3    Copyright (C) 2020-2021 Free Software Foundation, Inc.
   4
   5    This file is part of Bison, the GNU Compiler Compiler.
   6
   7    This program is free software: you can redistribute it and/or modify
   8    it under the terms of the GNU General Public License as published by
   9    the Free Software Foundation, either version 3 of the License, or
  10    (at your option) any later version.
  11
  12    This program is distributed in the hope that it will be useful,
  13    but WITHOUT ANY WARRANTY; without even the implied warranty of
  14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15    GNU General Public License for more details.
  16
  17    You should have received a copy of the GNU General Public License
  18    along with this program.  If not, see <https://www.gnu.org/licenses/>.  */
  19
  20 #ifndef COUNTEREXAMPLE_H
  21 # define COUNTEREXAMPLE_H
  22
  23 # include "state.h"
  24
  25 // Init/deinit this module.
  26 void counterexample_init (void);
  27 void counterexample_free (void);
  28
  29 // Print the counterexamples for the conflicts of state S.
  30 //
  31 // Used both for the warnings on the terminal (OUT = stderr, PREFIX =
  32 // ""), and for the reports (OUT != stderr, PREFIX != "").
  33 void
  34 counterexample_report_state (const state *s, FILE *out, const char *prefix);
  35
  36 #endif /* COUNTEREXAMPLE_H */