List of all items
Structs
- atermpp::ffi::_aterm
- atermpp::ffi::_function_symbol
- atermpp::ffi::aterm
- atermpp::ffi::function_symbol
- atermpp::ffi::term_mark_stack
- atermpp::ffi::tls_callback_container
- cxx::Exception
- cxx::UniquePtr
- data::ffi::RewriterCompilingJitty
- data::ffi::RewriterJitty
- data::ffi::data_specification
- lps::ffi::specification
Functions
- atermpp::ffi::aterm_address
- atermpp::ffi::aterm_from_string
- atermpp::ffi::aterm_is_empty_list
- atermpp::ffi::aterm_is_int
- atermpp::ffi::aterm_is_list
- atermpp::ffi::aterm_mark_address
- atermpp::ffi::aterm_pool_capacity
- atermpp::ffi::aterm_pool_size
- atermpp::ffi::collect_garbage
- atermpp::ffi::create_aterm
- atermpp::ffi::create_function_symbol
- atermpp::ffi::drop_function_symbol
- atermpp::ffi::enable_automatic_garbage_collection
- atermpp::ffi::function_symbol_address
- atermpp::ffi::generate_types
- atermpp::ffi::get_aterm_function_symbol
- atermpp::ffi::get_function_symbol_arity
- atermpp::ffi::get_function_symbol_name
- atermpp::ffi::get_term_argument
- atermpp::ffi::initialise
- atermpp::ffi::lock_exclusive
- atermpp::ffi::lock_shared
- atermpp::ffi::print_aterm
- atermpp::ffi::print_metrics
- atermpp::ffi::protect_function_symbol
- atermpp::ffi::register_mark_callback
- atermpp::ffi::test_garbage_collection
- atermpp::ffi::unlock_exclusive
- atermpp::ffi::unlock_shared
- data::ffi::create_data_function_symbol
- data::ffi::create_data_variable
- data::ffi::create_jitty_compiling_rewriter
- data::ffi::create_jitty_rewriter
- data::ffi::create_sorted_data_variable
- data::ffi::data_specification_clone
- data::ffi::false_term
- data::ffi::get_data_function_symbol_index
- data::ffi::get_data_specification_constructors
- data::ffi::get_data_specification_equations
- data::ffi::is_data_abstraction
- data::ffi::is_data_basic_sort
- data::ffi::is_data_function_sort
- data::ffi::is_data_function_symbol
- data::ffi::is_data_machine_number
- data::ffi::is_data_sort_expression
- data::ffi::is_data_untyped_identifier
- data::ffi::is_data_variable
- data::ffi::is_data_where_clause
- data::ffi::parse_data_expression
- data::ffi::parse_data_specification
- data::ffi::parse_variable
- data::ffi::rewrite
- data::ffi::true_term
- lps::ffi::get_data_specification
- lps::ffi::print_linear_process_specification
- lps::ffi::read_linear_process_specification