Struct triton_vm::program::NonDeterminism

pub struct NonDeterminism {
    pub individual_tokens: Vec<BFieldElement>,
    pub digests: Vec<Digest>,
    pub ram: HashMap<BFieldElement, BFieldElement>,
}

All sources of non-determinism for a program. This includes elements that can be read using instruction divine, digests that can be read using instruction divine_sibling, and an initial state of random-access memory.

Fields

individual_tokens: Vec<BFieldElement>

digests: Vec<Digest>

ram: HashMap<BFieldElement, BFieldElement>

Implementations

impl NonDeterminism

pub fn new<V: Into<Vec<BFieldElement>>>(individual_tokens: V) -> Self

pub fn with_digests<V: Into<Vec<Digest>>>(self, digests: V) -> Self

pub fn with_ram<H: Into<HashMap<BFieldElement, BFieldElement>>>( self, ram: H ) -> Self

Trait Implementations

impl<'arbitrary> Arbitrary<'arbitrary> for NonDeterminism

fn arbitrary(u: &mut Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the given unstructured data.

fn arbitrary_take_rest(u: Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the entirety of the given unstructured data.

fn size_hint(depth: usize) -> (usize, Option<usize>)

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself.

impl Clone for NonDeterminism

fn clone(&self) -> NonDeterminism

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for NonDeterminism

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

Formats the value using the given formatter.

impl Default for NonDeterminism

fn default() -> NonDeterminism

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for NonDeterminism

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<&[BFieldElement]> for NonDeterminism

fn from(tokens: &[BFieldElement]) -> Self

Converts to this type from the input type.

impl From<&Vec<BFieldElement>> for NonDeterminism

fn from(tokens: &Vec<BFieldElement>) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[BFieldElement; N]> for NonDeterminism

fn from(tokens: [BFieldElement; N]) -> Self

Converts to this type from the input type.

impl From<Vec<BFieldElement>> for NonDeterminism

fn from(tokens: Vec<BFieldElement>) -> Self

Converts to this type from the input type.

impl PartialEq for NonDeterminism

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Serialize for NonDeterminism

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for NonDeterminism

impl StructuralPartialEq for NonDeterminism