mcrl2::data::cardinality_calculator Member List

This is the complete list of members for mcrl2::data::cardinality_calculator, including all inherited members.

cardinality_calculator(const data_specification &specification, const rewriter &r)	mcrl2::data::cardinality_calculator	inline
is_a_new_unique_element(const data_expression &t, const std::vector< data_expression > already_found_elements, bool &determined) const	mcrl2::data::cardinality_calculator	inlineprotected
m_rewriter	mcrl2::data::cardinality_calculator	protected
m_specification	mcrl2::data::cardinality_calculator	protected
operator()(const sort_expression &s) const	mcrl2::data::cardinality_calculator	inline