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

Typedefs

type 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.