Struct MachineState

pub struct MachineState {
    pub atom_tbl: Arc<AtomTable>,
    pub arena: Arena,
    pub heap: Vec<HeapCellValue>,
    /* private fields */
}

Fields

atom_tbl: Arc<AtomTable>

arena: Arena

heap: Vec<HeapCellValue>

Implementations

impl MachineState

pub fn get_number(&mut self, at: &ArithmeticTerm) -> Result<Number, MachineStub>

pub fn get_rational( &mut self, at: &ArithmeticTerm, caller: impl Fn() -> [HeapCellValue; 3] + 'static, ) -> Result<TypedArenaPtr<Rational>, MachineStub>

impl MachineState

pub fn copy_term(&mut self, attr_var_policy: AttrVarPolicy)

impl MachineState

pub fn neck_cut(&mut self)

pub fn write_read_term_options( &mut self, var_list: Vec<(VarKey, HeapCellValue, usize)>, singleton_var_list: Vec<HeapCellValue>, ) -> CallResult

pub fn read_term_body( &mut self, term_write_result: TermWriteResult, ) -> CallResult

pub fn read_term_from_user_input_eof_handler( &mut self, stream: Stream, ) -> Result<OnEOF, MachineStub>

pub fn read_term_from_user_input( &mut self, stream: Stream, indices: &mut IndexStore, ) -> CallResult

pub fn read_term_eof_handler( &mut self, stream: Stream, ) -> Result<OnEOF, MachineStub>

pub fn read_term( &mut self, stream: Stream, indices: &mut IndexStore, eof_handler: impl Fn(&mut Self, Stream) -> Result<OnEOF, MachineStub>, ) -> CallResult

impl MachineState

pub fn deref(&self, addr: HeapCellValue) -> HeapCellValue

pub fn trail(&mut self, r: TrailRef)

pub fn allocate(&mut self, num_cells: usize)

pub fn bind(&mut self, r1: Ref, a2: HeapCellValue)

pub fn bind_attr_var(&mut self, h: usize, addr: HeapCellValue)

pub fn unify(&mut self)

pub fn unify_structure(&mut self, s1: usize, value: HeapCellValue)

pub fn unify_atom(&mut self, atom: Atom, value: HeapCellValue)

pub fn unify_list(&mut self, l1: usize, value: HeapCellValue)

pub fn unify_complete_string(&mut self, atom: Atom, value: HeapCellValue)

pub fn unify_partial_string( &mut self, value_1: HeapCellValue, value_2: HeapCellValue, )

pub fn unify_char(&mut self, c: char, value: HeapCellValue)

pub fn unify_fixnum(&mut self, n1: Fixnum, value: HeapCellValue)

pub fn unify_big_int( &mut self, n1: TypedArenaPtr<Integer>, value: HeapCellValue, )

pub fn unify_rational( &mut self, n1: TypedArenaPtr<Rational>, value: HeapCellValue, )

pub fn unify_f64(&mut self, f1: F64Ptr, value: HeapCellValue)

pub fn unify_constant(&mut self, ptr: UntypedArenaPtr, value: HeapCellValue)

pub fn compare_term_test( &mut self, var_comparison: VarComparison, ) -> Option<Ordering>

pub fn match_partial_string( &mut self, value: HeapCellValue, string: Atom, has_tail: bool, )

pub fn is_cyclic_term(&mut self, value: HeapCellValue) -> bool

pub fn try_arg(&mut self) -> CallResult

pub fn eq_test(&mut self, h1: HeapCellValue, h2: HeapCellValue) -> bool

pub fn try_functor(&mut self) -> CallResult

pub fn try_from_list( &mut self, value: HeapCellValue, stub_gen: impl Fn() -> [HeapCellValue; 3], ) -> Result<Vec<HeapCellValue>, MachineStub>

pub fn ground_test(&mut self) -> bool

pub fn integers_to_bytevec( &mut self, value: HeapCellValue, stub_gen: impl Fn() -> [HeapCellValue; 3], ) -> Vec<u8>

pub fn project_onto_key( &mut self, value: HeapCellValue, ) -> Result<HeapCellValue, MachineStub>

pub fn deallocate(&mut self)

pub fn throw_interrupt_exception(&mut self)

impl MachineState

pub fn skip_max_list(&mut self) -> CallResult

pub fn value_to_str_like( &mut self, value: HeapCellValue, ) -> Option<AtomOrString>

Trait Implementations

impl Debug for MachineState

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

Formats the value using the given formatter.

impl Index<RegType> for MachineState

type Output = HeapCellValue

The returned type after indexing.

fn index(&self, reg: RegType) -> &Self::Output

Performs the indexing (container[index]) operation.

impl IndexMut<RegType> for MachineState

fn index_mut(&mut self, reg: RegType) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.