diff options
Diffstat (limited to 'proofs/lfsc_checker/scccode.h')
-rw-r--r-- | proofs/lfsc_checker/scccode.h | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/proofs/lfsc_checker/scccode.h b/proofs/lfsc_checker/scccode.h index 6f5efc8b5..2ab549c10 100644 --- a/proofs/lfsc_checker/scccode.h +++ b/proofs/lfsc_checker/scccode.h @@ -7,21 +7,5 @@ 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 |