mcrl2_sys::data::ffi

Function get_data_specification_equations

Source 
pub fn get_data_specification_equations(
    data_spec: &data_specification,
) -> UniquePtr<CxxVector<aterm>> ⓘ
Expand description

Returns the data equations for the given specification.