cprover
|
#include <smt_solver_process.h>
Public Member Functions | |
virtual const std::string & | description ()=0 |
virtual void | send (const smt_commandt &command)=0 |
Converts given SMT2 command to SMT2 string and sends it to the solver process. | |
virtual smt_responset | receive_response ()=0 |
virtual | ~smt_base_solver_processt ()=default |
Definition at line 15 of file smt_solver_process.h.
|
virtualdefault |
|
pure virtual |
Implemented in smt_piped_solver_processt.
|
pure virtual |
Implemented in smt_piped_solver_processt.
|
pure virtual |
Converts given SMT2 command to SMT2 string and sends it to the solver process.
Implemented in smt_piped_solver_processt.