mcrl2/lts/sigref.h

Include file:

#include "mcrl2/lts/sigref.h"

Implementation of LTS reductions using the signature refinement approach of S. Blom and S. Orzan.

Jeroen Keiren

Classes

• mcrl2::lts::signature
• mcrl2::lts::signature_bisim
• mcrl2::lts::signature_branching_bisim
• mcrl2::lts::signature_divergence_preserving_branching_bisim
• mcrl2::lts::sigref

Typedefs

type mcrl2::lts::signature_t

typedef for std::set< std::pair< std::size_t, std::size_t > >

A signature is a pair of an action label and a block.