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.
8 * File: smtratinterpreter.h
11 * Created on February 21, 2019, 2:33 PM
14 #ifndef SMTRATINTERPRETER_H
15 #define SMTRATINTERPRETER_H
16 #include "smtinterpreter.h"
18 class SMTRatInterpreter : public SMTInterpreter {
20 SMTRatInterpreter(CSolver *solver);
21 virtual ~SMTRatInterpreter();
23 void compileRunCommand(char *command, size_t size);
26 #endif/* SMTRATINTERPRETER_H */