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 */