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