Struct TermPool

pub struct TermPool { /* private fields */ }

This is the thread local term pool.

Implementations

impl TermPool

pub fn new() -> TermPool

pub fn true_term(&self) -> &DataExpression

This does not necessarily belong here, but we need a central storage of default terms.

pub fn collect(&mut self)

Trigger a garbage collection explicitly.

pub fn from_string(&mut self, text: &str) -> Result<ATerm, Exception>

Creates an ATerm from a string.

pub fn create<'a, 'b>( &mut self, symbol: &impl Borrow<SymbolRef<'a>>, arguments: &[impl Borrow<ATermRef<'b>>], ) -> ATerm

Creates an ATerm with the given symbol and arguments.

pub fn create_data_application<'a, 'b>( &mut self, head: &impl Borrow<ATermRef<'a>>, arguments: &[impl Borrow<ATermRef<'b>>], ) -> ATerm

Creates an ATerm with the given symbol, head argument and other arguments.

pub fn create_symbol(&mut self, name: &str, arity: usize) -> Symbol

Creates a function symbol with the given name and arity.

pub fn create_with<F>(&mut self, create: F) -> ATerm

where F: Fn() -> *const _aterm,

Creates a term with the FFI while taking care of the protection and garbage collection.

Trait Implementations

impl Default for TermPool

fn default() -> Self

Returns the “default value” for a type.

impl Display for TermPool

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.