Struct UsonicCore

pub struct UsonicCore { /* private fields */ }

ALU Core extension for USONIC ISA.

Implementations

impl UsonicCore

pub fn has_data(&mut self, cat: IoCat, context: &VmContext<'_>) -> bool

Checks are there more state values remain in the given category.

pub fn get_ui_inro(&self) -> u16

Get the current index for a destructible input.

pub fn load(&mut self, cat: IoCat, context: &VmContext<'_>) -> bool

Loads next StateValue (basing on iterator position from UI indexes) of a given category into the EA-ED registers, increasing UI iterator count.

pub fn set_ed_eb(&mut self, data: Option<(AuthToken, bool)>) -> bool

Sets EA and EB registers to the field elements representing the given pair of values.

pub fn set_ea_ed_opt(&mut self, data: Option<StateValue>) -> bool

Sets EA-ED registers to the field elements representing the given value.

pub fn set_ea_ed(&mut self, data: StateValue)

Sets EA-ED registers to the field elements representing the given value.

pub fn set_inro_index(&mut self, index: u16)

Sets UI register for the destructible input to point at a specific input index.

pub fn reset(&mut self, cat: IoCat)

Reset a value (set to zero) of the UI register.

Trait Implementations

impl Clone for UsonicCore

fn clone(&self) -> UsonicCore

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl CoreExt for UsonicCore

type Reg = RegE

A type of registers provided by the ISA.

type Config = GfaConfig

A configuration used in initializing the core extension.

fn with(config: <UsonicCore as CoreExt>::Config) -> UsonicCore

Constructs the core extensions to be added to AluVM core.

fn get( &self, reg: <UsonicCore as CoreExt>::Reg, ) -> Option<<<UsonicCore as CoreExt>::Reg as Register>::Value>

Read the value of a register.

fn clr(&mut self, reg: <UsonicCore as CoreExt>::Reg)

Clear the register by setting it to None.

fn put( &mut self, reg: <UsonicCore as CoreExt>::Reg, val: Option<<<UsonicCore as CoreExt>::Reg as Register>::Value>, )

Put either a value or None to the register.

fn reset(&mut self)

Reset the core extension by setting all the registers to None.

fn set(&mut self, reg: Self::Reg, val: <Self::Reg as Register>::Value)

Set the register to the provided value.

impl Debug for UsonicCore

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

Formats the value using the given formatter.

impl PartialEq for UsonicCore

fn eq(&self, other: &UsonicCore) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Supercore<GfaCore> for UsonicCore

fn subcore(&self) -> GfaCore

An ISA extension subcore.

fn merge_subcore(&mut self, subcore: GfaCore)

Merge the values generated in the subcore ISA extension with the main core.

impl Supercore<NoExt> for UsonicCore

fn subcore(&self) -> NoExt

An ISA extension subcore.

fn merge_subcore(&mut self, _subcore: NoExt)

Merge the values generated in the subcore ISA extension with the main core.

impl Copy for UsonicCore

impl Eq for UsonicCore

impl StructuralPartialEq for UsonicCore