mcrl2::data::finiteness_helper

class mcrl2::data::finiteness_helper

Protected attributes

const data_specification &m_specification
std::set<sort_expression> m_visiting

Protected member functions

bool is_finite_aux(const sort_expression &s)

Public member functions

finiteness_helper(const data_specification &specification)
bool is_finite(const sort_expression &s)
bool is_finite(const basic_sort &s)
bool is_finite(const function_sort &s)
bool is_finite(const container_sort &s)
bool is_finite(const alias&)
bool is_finite(const structured_sort &s)