Class for computing the signature for strong bisimulation. More...

#include <sigref.h>

Inheritance diagram for mcrl2::lts::signature_bisim< LTS_T >:

Public Member Functions
	signature_bisim (const LTS_T &lts_)
	Constructor.

virtual void	compute_signature (const std::vector< std::size_t > &partition)

Public Member Functions inherited from mcrl2::lts::signature< LTS_T >
	signature (const LTS_T &lts_)
	Constructor.

virtual void	compute_signature (const std::vector< std::size_t > &partition)=0
	Compute a new signature based on partition.

virtual void	quotient_transitions (std::set< transition > &transitions, const std::vector< std::size_t > &partition)
	Compute the transitions for the quotient according to partition.

virtual const signature_t &	get_signature (std::size_t i) const
	Return the signature for state i.

Additional Inherited Members
Protected Attributes inherited from mcrl2::lts::signature< LTS_T >
const LTS_T &	m_lts
	The labelled transition system for which the signature is computed.

std::vector< signature_t >	m_sig
	Signature stored per state.

Detailed Description

template<class LTS_T>
class mcrl2::lts::signature_bisim< LTS_T >

Class for computing the signature for strong bisimulation.

Definition at line 74 of file sigref.h.

Constructor & Destructor Documentation

template<class LTS_T >

mcrl2::lts::signature_bisim< LTS_T >::signature_bisim ( const LTS_T & lts_ )

inline

Constructor.

Definition at line 82 of file sigref.h.

template<class LTS_T >

virtual void mcrl2::lts::signature_bisim< LTS_T >::compute_signature ( const std::vector< std::size_t > & partition )

inlinevirtual

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

Definition at line 90 of file sigref.h.

The documentation for this class was generated from the following file: