blob: 6f5efc8b5ab096a380ae71120276b2269c69cc11 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#ifndef SCC_CODE_H
#define SCC_CODE_H
#include "check.h"
void init_compiled_scc();
Expr* run_compiled_scc( Expr* p, std::vector< Expr* >& args );
inline Expr* f_litvar( Expr* l );
inline Expr* f_litpol( Expr* l );
inline Expr* f_notb( Expr* b );
inline Expr* f_iffb( Expr* b1, Expr* b2 );
inline Expr* f_clear_mark( Expr* v );
inline Expr* f_append( Expr* c1, Expr* c2 );
inline Expr* f_simplify_clause_h( Expr* pol, Expr* c );
inline Expr* f_simplify_clause( Expr* c );
#endif
|