mcrl2::smt::smt_problem

Include file:

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

Protected attributes

std::set<data::data_expression> m_assertions
std::set<data::data_expression_list> m_distinct_assertions
std::set<data::variable> m_variables

Public member functions

void add_assertion(const data::data_expression &expression)
void add_distinct_assertion(const data::data_expression_list &distinct_terms)
void add_distinct_assertion(Container distinct_terms)
void add_variable(const data::variable &variable)
const std::set<data::data_expression> &assertions() const
const std::set<data::data_expression_list> &distinct_assertions() const
const std::set<data::variable> &variables() const