1 /*
2  * This file is part of the Yices SMT Solver.
3  * Copyright (C) 2017 SRI International.
4  *
5  * Yices is free software: you can redistribute it and/or modify
6  * it under the terms of the GNU General Public License as published by
7  * the Free Software Foundation, either version 3 of the License, or
8  * (at your option) any later version.
9  *
10  * Yices is distributed in the hope that it will be useful,
11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13  * GNU General Public License for more details.
14  *
15  * You should have received a copy of the GNU General Public License
16  * along with Yices.  If not, see <http://www.gnu.org/licenses/>.
17  */
18 
19 /*
20  * PRINT BOOLEAN GATE STRUCTURES
21  */
22 
23 #ifndef __GATES_PRINTER_H
24 #define __GATES_PRINTER_H
25 
26 #include <stdio.h>
27 
28 #include "solvers/cdcl/gates_hash_table.h"
29 
30 extern void print_boolgate(FILE *f, boolgate_t *g);
31 extern void print_boolgate_list(FILE *f, lnkgate_t *list);
32 extern void print_boolgate_levlist(FILE *f, levlist_t *lv);
33 extern void print_gate_table_stack(FILE *f, gate_table_t *tbl);
34 extern void print_gate_table_htbl(FILE *f, gate_table_t *tbl);
35 extern void print_gate_table(FILE *f, gate_table_t *tbl);
36 
37 #endif /* __GATES_PRINTER_H */
38