Struct circomspect_program_structure::abstract_syntax_tree::ast::MemoryKnowledge

pub struct MemoryKnowledge { /* private fields */ }

Implementations

impl MemoryKnowledge

pub fn new() -> MemoryKnowledge

pub fn set_concrete_dimensions(&mut self, value: Vec<usize>)

pub fn set_abstract_memory_address(&mut self, value: usize)

pub fn concrete_dimensions(&self) -> &[usize]

pub fn full_length(&self) -> usize

pub fn abstract_memory_address(&self) -> usize

Trait Implementations

impl Clone for MemoryKnowledge

fn clone(&self) -> MemoryKnowledge

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for MemoryKnowledge

fn default() -> MemoryKnowledge

Returns the “default value” for a type.