mcrl2::data::finiteness_helper

class mcrl2::data::finiteness_helper

Protected attributes

const data_specification &mcrl2::data::finiteness_helper::m_specification

std::set<sort_expression> mcrl2::data::finiteness_helper::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 alias&)

bool is_finite(const basic_sort &s)

bool is_finite(const container_sort &s)

bool is_finite(const function_sort &s)

bool is_finite(const sort_expression &s)

bool is_finite(const structured_sort &s)