summaryrefslogtreecommitdiff
path: root/proofs/lfsc_checker/print_smt2.h
blob: 9bee0e81c782595b7106b46b23b1283d22b4ded0 (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#ifndef PRINT_SMT2_H
#define PRINT_SMT2_H

#define PRINT_SMT2

#include "expr.h"

#ifdef PRINT_SMT2
void print_smt2( Expr* p, std::ostream& s, short mode = 0 );

bool is_smt2_poly_formula( Expr* p );
short get_mode( Expr* p );

#endif


#endif
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback