lts2lps.h File Reference

This file contains functions to translate lts's into` LPS format. More...

Go to the source code of this file.

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.

Functions
lps::specification	mcrl2::lts::transform_lts2lps (const lts_lts_t &l)
	transform an lts in lts format into a linear process.
lps::specification	mcrl2::lts::transform_lts2lps (const lts_aut_t &l1, const data_specification &data, const process::action_label_list &action_labels, const variable_list &process_parameters)
	transform an lts in aut format into a linear process.
lps::specification	mcrl2::lts::transform_lts2lps (const lts_fsm_t &l1, const data_specification &data, const process::action_label_list &action_labels, const variable_list &process_parameters)
	transform an lts in fsm format into a linear process.

Detailed Description

This file contains functions to translate lts's into` LPS format.

Definition in file lts2lps.h.