mcrl2::smt::smt_solver¶

Include file:

#include "mcrl2/smt/solver.h

class mcrl2::smt::smt_solver¶

Protected attributes¶

std::unordered_map<data::data_expression, std::string> mcrl2::smt::smt_solver::m_cache¶

native_translations mcrl2::smt::smt_solver::m_native¶

child_process mcrl2::smt::smt_solver::z3¶

Protected member functions¶

answer execute_and_check(const std::string &command, const std::chrono::microseconds &timeout) const¶

Public member functions¶

smt_solver(const data::data_specification &dataspec)¶

answer solve(const data::variable_list &vars, const data::data_expression &expr, const std::chrono::microseconds &timeout = std::chrono::microseconds::zero())¶