mcrl2::lts::signature_bisim

Include file:

#include "mcrl2/lts/sigref.h

class mcrl2::lts::signature_bisim

Class for computing the signature for strong bisimulation.

Public member functions

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

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

signature_bisim(const LTS_T &lts_)

Constructor.