Struct Instructions 

pub struct Instructions {
    pub version: u32,
    pub register_count: u16,
    pub register_types: Vec<Arc<LemmaType>>,
    pub constants: Vec<LiteralValue>,
    pub data_manifest: Vec<DataPath>,
    pub veto_messages: Vec<String>,
    pub code: Vec<Instruction>,
    pub arm_tags: Vec<ArmTag>,
    pub conversion_tags: Vec<ConversionTag>,
}

Compiled normalized equation for authoritative evaluation.

Fields

version: u32

register_count: u16

register_types: Vec<Arc<LemmaType>>

constants: Vec<LiteralValue>

data_manifest: Vec<DataPath>

veto_messages: Vec<String>

code: Vec<Instruction>

arm_tags: Vec<ArmTag>

Piecewise arm provenance: which JumpIfFalse/Return instructions belong to which source branch (ExecutableRule::branches index). Emitted by compile_piecewise_rule after all rewrite passes, so arm tags are present in both the optimized and source instruction streams.

conversion_tags: Vec<ConversionTag>

Unit-conversion provenance: maps a UnitConversion instruction back to the source location of the conversion expression it compiles. Reliable in the source (un-optimized) stream; best-effort in the optimized stream (rewrites may fold or merge conversion nodes).

Trait Implementations

impl Clone for Instructions

fn clone(&self) -> Instructions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Instructions

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Instructions

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Instructions

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

where __S: Serializer,

Serialize this value into the given Serde serializer.