Include file:
#include "mcrl2/lts/lts2lps.h"
This file contains functions to translate lts’s into` LPS format.
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.
Parameters:
Returns: The function returns a linear process with the same behaviour as the lts.
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.
Parameters:
Returns: The function returns a linear process with the same behaviour as the lts.
mcrl2::lts::
transform_lts2lps
(const lts_lts_t &l)¶transform an lts in lts format into a linear process.
Parameters:
Returns: The function returns a linear process with the same behaviour as the lts.