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

#include <sigref.h>

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

Public Member Functions
virtual	~signature_bisim ()=default

	signature_bisim (const LTS_T &lts_)
	Constructor.

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

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

virtual	~signature ()=default

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 73 of file sigref.h.

Constructor & Destructor Documentation

template<class LTS_T >

virtual mcrl2::lts::signature_bisim< LTS_T >::~signature_bisim ( )

virtualdefault

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 >

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

inlineoverridevirtual

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 89 of file sigref.h.

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