mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::signature_bisim< LTS_T > Class Template Reference

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

#include <sigref.h>

Inheritance diagram for mcrl2::lts::signature_bisim< LTS_T >:
mcrl2::lts::signature< 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_tget_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_tm_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

◆ signature_bisim()

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.

Member Function Documentation

◆ compute_signature()

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.

Implements mcrl2::lts::signature< LTS_T >.

Definition at line 90 of file sigref.h.


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