mcrl2::smt::solver

Include file:

#include "mcrl2/smt/solver.h
class mcrl2::smt::solver

Private attributes

data_specification *m_spec
int pipe_stderr
int pipe_stdin
int pipe_stdout

Private member functions

void execute(const std::string &command) const
bool execute_and_check(const std::string &command) const
void initialize_solver()

Public member functions

bool solve(const smt_problem &problem) const
solver(data_specification *spec)
~solver()