summaryrefslogtreecommitdiff
path: root/proofs/lfsc_checker/scccode.h
blob: 2ab549c101b90b65d4f677114ec33f0095ad2272 (plain) 
1
2
3
4
5
6
7
8
9
10
11

#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 );

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