liblts_sim.h File Reference

Header file for the simulation preorder algorithm. More...

Go to the source code of this file.

Classes
class	mcrl2::lts::detail::sim_partitioner< LTS_TYPE >
struct	mcrl2::lts::detail::sim_partitioner< LTS_TYPE >::state_bucket

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::lts
	The main LTS namespace.
namespace	mcrl2::lts::detail
	A base class for the lts_dot labelled transition system.

Macros
#define	LIST_END   (-1)
#define	UNIVERSAL_PART   (0)

Detailed Description

Header file for the simulation preorder algorithm.

Definition in file liblts_sim.h.

Macro Definition Documentation

LIST_END

#define LIST_END   (-1)

Definition at line 157 of file liblts_sim.h.

UNIVERSAL_PART

#define UNIVERSAL_PART   (0)

Definition at line 158 of file liblts_sim.h.