Struct ConstsInfo

pub struct ConstsInfo {
    pub segments: OrderedHashMap<u32, ConstSegment>,
    pub total_segments_size: usize,
    pub circuit_segments: OrderedHashMap<ConcreteTypeId, u32>,
}

The information about the constants used in the program.

Fields

segments: OrderedHashMap<u32, ConstSegment>

total_segments_size: usize

circuit_segments: OrderedHashMap<ConcreteTypeId, u32>

Maps a circuit to its segment id.

Implementations

impl ConstsInfo

pub fn new<'a>( registry: &ProgramRegistry<CoreType, CoreLibfunc>, type_sizes: &TypeSizeMap, libfunc_ids: impl Iterator<Item = &'a ConcreteLibfuncId> + Clone, circuit_infos: &OrderedHashMap<ConcreteTypeId, CircuitInfo>, const_segments_max_size: usize, ) -> Result<Self, CompilationError>

Creates a new ConstSegmentsInfo from the given libfuncs.

Trait Implementations

impl Clone for ConstsInfo

fn clone(&self) -> ConstsInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ConstsInfo

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

Formats the value using the given formatter.

impl Default for ConstsInfo

fn default() -> ConstsInfo

Returns the “default value” for a type.

impl PartialEq for ConstsInfo

fn eq(&self, other: &ConstsInfo) -> 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 Eq for ConstsInfo

impl StructuralPartialEq for ConstsInfo