Trait WorkVariableProvider

pub trait WorkVariableProvider<E> {
    // Required method
    fn new_work_variable(&mut self, typecode: TypeCode) -> Result<Label, E>;
}

A provider for work variables Work variables are typically used when a new variable appears in an unification, which cannot be immediately assigned.

Required Methods

fn new_work_variable(&mut self, typecode: TypeCode) -> Result<Label, E>

Provide a new work variable for the given typecode

Implementors