smt_base_solver_processt Class Reference

#include <smt_solver_process.h>

Inheritance diagram for smt_base_solver_processt:

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. More...
virtual smt_responset	receive_response (const std::unordered_map< irep_idt, smt_identifier_termt > &identifier_table)=0
virtual	~smt_base_solver_processt ()=default

Detailed Description

Definition at line 17 of file smt_solver_process.h.

Constructor & Destructor Documentation

~smt_base_solver_processt()

virtual smt_base_solver_processt::~smt_base_solver_processt ( )

virtualdefault

Member Function Documentation

description()

virtual const std::string& smt_base_solver_processt::description ( )

pure virtual

Implemented in smt_incremental_dry_run_solvert, and smt_piped_solver_processt.

receive_response()

virtual smt_responset smt_base_solver_processt::receive_response ( const std::unordered_map< irep_idt, smt_identifier_termt > &  identifier_table )

pure virtual

Implemented in smt_incremental_dry_run_solvert, and smt_piped_solver_processt.

send()

virtual void smt_base_solver_processt::send ( const smt_commandt &  command )

pure virtual

Converts given SMT2 command to SMT2 string and sends it to the solver process.

Implemented in smt_incremental_dry_run_solvert, and smt_piped_solver_processt.

---

The documentation for this class was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/solvers/smt2_incremental/smt_solver_process.h