mcrl2_sys::atermpp::ffi

Function create_aterm

Source
pub unsafe fn create_aterm(
    function: *const _function_symbol,
    arguments: &[*const _aterm],
) -> *const _aterm
Expand description

Creates a term from the given function and arguments, must be protected before the busy flags are set to false.

ยงSafety

The function symbol and arguments will not be modified unless garbage collection marks the terms, which is done atomically.