Struct ObservableDefinition 

pub struct ObservableDefinition {
    pub name: String,
    pub qubits: Option<i64>,
    pub terms: Vec<PauliTerm>,
    pub loc: Loc,
    pub leading_trivia: Vec<Trivia>,
    pub trailing_trivia: Vec<Trivia>,
}

§Fase 51.c.2 — the observable <Name> { qubits, term: cₖ·Pₖ … } declaration (paper §3.2; plan D5). A typed Pauli-sum M = Σ cₖ Pₖ that a quant block measures the evolved state against. The type-checker validates the closed {I,X,Y,Z} alphabet + equal term lengths + non-empty sum; Hermiticity is guaranteed by construction (real coefficients).

Fields

name: String

qubits: Option<i64>

qubits: n — the register width every Pauli string must span. None = inferred from the (equal) term lengths.

terms: Vec<PauliTerm>

loc: Loc

leading_trivia: Vec<Trivia>

Fase 14.b — leading comment trivia.

trailing_trivia: Vec<Trivia>

Fase 14.b — trailing comment trivia.

Trait Implementations

impl Debug for ObservableDefinition

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

Formats the value using the given formatter.

impl Default for ObservableDefinition

fn default() -> ObservableDefinition

Returns the “default value” for a type.