mcrl2_
sys
0.1.0
Module ffi
Module Items
Structs
Functions
Type Aliases
In mcrl2_
sys::
lps
mcrl2_sys
::
lps
Module
ffi
Copy item path
Source
Structs
§
specification
Functions
§
get_
data_
specification
Obtains the related data specification
print_
linear_
process_
specification
Converts a linear process specification to a string.
read_
linear_
process_
specification
Reads a .lps file and returns the resulting linear process specification.
Type Aliases
§
data_
specification