mcrl2::lts::signature_bisim< LTS_T > Member List

This is the complete list of members for mcrl2::lts::signature_bisim< LTS_T >, including all inherited members.

compute_signature(const std::vector< std::size_t > &partition)	mcrl2::lts::signature_bisim< LTS_T >	inlinevirtual
get_signature(std::size_t i) const	mcrl2::lts::signature< LTS_T >	inlinevirtual
m_lts	mcrl2::lts::signature< LTS_T >	protected
m_sig	mcrl2::lts::signature< LTS_T >	protected
quotient_transitions(std::set< transition > &transitions, const std::vector< std::size_t > &partition)	mcrl2::lts::signature< LTS_T >	inlinevirtual
signature(const LTS_T &lts_)	mcrl2::lts::signature< LTS_T >	inline
signature_bisim(const LTS_T &lts_)	mcrl2::lts::signature_bisim< LTS_T >	inline