Enum SemanticsPath 

pub enum SemanticsPath {
    Exact,
    Numeric,
}

Which semantics decided a value derived from a CircuitModel.

The exact path carries Pauli and Clifford programs as their symplectic action and diagonal Table 1 gates as GaugeFieldGate phase tables; it has no register-width limit and its residuals are zero or not. The numeric path carries a program at the Kraus level and compares Choi operators of the composite channel in Frobenius norm under a cap. Every report names the path, so a verdict reached numerically is never read as exact.

Variants

Exact

Decided over 𝔽₂ and exact rationals.

Numeric

Decided on Choi operators in Frobenius norm against a tolerance.

Implementations

impl SemanticsPath

pub fn name(&self) -> &'static str

The path’s name, for reports.

Trait Implementations

impl Clone for SemanticsPath

fn clone(&self) -> SemanticsPath

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SemanticsPath

impl Debug for SemanticsPath

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

Formats the value using the given formatter.

impl Eq for SemanticsPath

impl Hash for SemanticsPath

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for SemanticsPath

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SemanticsPath