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