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

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

compute_signature(const std::vector< std::size_t > &partition)	mcrl2::lts::signature_branching_bisim< LTS_T >	inlinevirtual
get_signature(std::size_t i) const	mcrl2::lts::signature< LTS_T >	inlinevirtual
insert(const std::vector< std::size_t > &partition, const std::size_t t, const std::size_t label_, const std::size_t block)	mcrl2::lts::signature_branching_bisim< LTS_T >	inlineprotected
m_lts	mcrl2::lts::signature< LTS_T >	protected
m_prev_transitions	mcrl2::lts::signature_branching_bisim< 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_branching_bisim< LTS_T >	inlinevirtual
signature(const LTS_T &lts_)	mcrl2::lts::signature< LTS_T >	inline
signature_branching_bisim(const LTS_T &lts_)	mcrl2::lts::signature_branching_bisim< LTS_T >	inline