1 /* Boolector: Satisfiability Modulo Theories (SMT) solver. 2 * 3 * Copyright (C) 2007-2021 by the authors listed in the AUTHORS file. 4 * 5 * This file is part of Boolector. 6 * See COPYING for more information on using this software. 7 */ 8 9 #ifndef BTORDUMPSMT_H_INCLUDED 10 #define BTORDUMPSMT_H_INCLUDED 11 12 #include <stdio.h> 13 #include "btorbv.h" 14 #include "btorcore.h" 15 16 void btor_dumpsmt_dump_node (Btor* btor, 17 FILE* file, 18 BtorNode* node, 19 uint32_t depth); 20 21 void btor_dumpsmt_dump (Btor* btor, FILE* file); 22 23 void btor_dumpsmt_dump_const_value (Btor* btor, 24 const BtorBitVector* bits, 25 uint32_t base, 26 FILE* file); 27 28 void btor_dumpsmt_dump_sort_node (BtorNode* exp, FILE* file); 29 void btor_dumpsmt_dump_sort (BtorSort* sort, FILE* file); 30 #endif 31