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