summaryrefslogtreecommitdiff
path: root/proofs/lfsc_checker/print_smt2.h
blob: c70b1dfa4243c1c20070ea37d86e7eab6ab7104b (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