Adding SMTRat and MathSAT interpreters
[satune.git] / src / Interpreter / smtratinterpreter.h
1 /*
2  * To change this license header, choose License Headers in Project Properties.
3  * To change this template file, choose Tools | Templates
4  * and open the template in the editor.
5  */
6
7 /* 
8  * File:   smtratinterpreter.h
9  * Author: hamed
10  *
11  * Created on February 21, 2019, 2:33 PM
12  */
13
14 #ifndef SMTRATINTERPRETER_H
15 #define SMTRATINTERPRETER_H
16 #include "smtinterpreter.h"
17
18 class SMTRatInterpreter: public SMTInterpreter{
19 public:
20         SMTRatInterpreter(CSolver *solver);
21         virtual ~SMTRatInterpreter();
22 protected:
23         void compileRunCommand(char * command , size_t size);
24 };
25
26 #endif /* SMTRATINTERPRETER_H */
27