mcrl2::lts::signature
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/lts/sigref.h

.. cpp:class:: mcrl2::lts::signature

  Base class for signature computation. 

  

Protected attributes
-------------------------------------------------------------------------------

.. cpp:member:: const LTS_T & mcrl2::lts::signature::m_lts
  
  The labelled transition system for which the signature is computed. 

  

.. cpp:member:: std::vector< signature_t > mcrl2::lts::signature::m_sig
  
  Signature stored per state. 

  

Public member functions
-------------------------------------------------------------------------------

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

  
  
  **Parameters:**

  * **partition** The current partition 



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

  
  
  **Parameters:**

  * **i** The state for which to return the signature. 


      
  **Pre:** i < m_lts.num_states(). 

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

  
  
  **Parameters:**

  * **partition** The partition that is used to compute the quotient 

  * **transitions** A set to which the transitions of the quotient are written 



.. cpp:function:: signature(const LTS_T &lts_)
  
  Constructor.