Trait Markable

pub trait Markable {
    // Required methods
    fn mark(&self, todo: Todo<'_>);
    fn contains_term(&self, term: &ATermRef<'_>) -> bool;
    fn len(&self) -> usize;

    // Provided method
    fn is_empty(&self) -> bool { ... }
}

This trait should be used on all objects and containers related to storing unprotected terms.

Required Methods

fn mark(&self, todo: Todo<'_>)

Marks all the ATermRefs to prevent them from being garbage collected.

fn contains_term(&self, term: &ATermRef<'_>) -> bool

Should return true iff the given term is contained in the object. Used for runtime checks.

fn len(&self) -> usize

Returns the number of terms in the instance, used to delay garbage collection.

Provided Methods

fn is_empty(&self) -> bool

Returns true iff the container is empty.

Implementations on Foreign Types

impl<T: Markable> Markable for Vec<T>

fn mark(&self, todo: Pin<&mut term_mark_stack>)

fn contains_term(&self, term: &ATermRef<'_>) -> bool

fn len(&self) -> usize

Implementors

impl Markable for DataApplication

impl Markable for DataExpression

impl Markable for DataFunctionSymbol

impl Markable for DataVariable

impl Markable for BasicSort

impl Markable for BoolSort

impl Markable for FunctionSort

impl Markable for SortExpression

impl Markable for ATermRef<'_>

impl<'a> Markable for DataApplicationRef<'a>

impl<'a> Markable for DataExpressionRef<'a>

impl<'a> Markable for DataFunctionSymbolRef<'a>

impl<'a> Markable for DataVariableRef<'a>

impl<'a> Markable for MachineNumberRef<'a>

impl<'a> Markable for BasicSortRef<'a>

impl<'a> Markable for BoolSortRef<'a>

impl<'a> Markable for FunctionSortRef<'a>

impl<'a> Markable for SortExpressionRef<'a>

impl<T: Markable + ?Sized> Markable for BfTermPool<T>