src/Interpreter/mathsatinterpreter.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:   mathsatinterpreter.h
   9  * Author: hamed
  10  *
  11  * Created on February 21, 2019, 12:26 PM
  12  */
  13
  14 #ifndef MATHSATINTERPRETER_H
  15 #define MATHSATINTERPRETER_H
  16
  17 #include "smtinterpreter.h"
  18
  19
  20 class MathSATInterpreter: public SMTInterpreter{
  21 public:
  22         MathSATInterpreter(CSolver *solver);
  23         virtual ~MathSATInterpreter();
  24 protected:
  25         virtual void compileRunCommand(char * command , size_t size);
  26         virtual int getResult();
  27 };
  28
  29
  30 #endif /* SMTSOLVERS_H */
  31