mcrl2::lts::signature

Include file:

#include "mcrl2/lts/sigref.h
class mcrl2::lts::signature

Base class for signature computation.

Protected attributes

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.

Public member functions

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

Compute a new signature based on partition.

Parameters:

  • partition The current partition
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().

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
signature(const LTS_T &lts_)

Constructor.