Struct Screened 

pub struct Screened<R: RealField, N: NaturalNumber, S> { /* private fields */ }

What validate terminates in: the config, the admitted candidates, and the report.

Implementations

impl<R: RealField, N: NaturalNumber, S> Screened<R, N, S>

pub fn config(&self) -> &Config<R, N, S>

The configuration that was screened.

pub fn admitted(&self) -> &[Hypothesis<R>]

The candidates that passed every check.

pub fn stages(&self) -> &[(&'static str, CheckReport<R>)]

Each stage’s report, in order.

pub fn report(&self) -> Option<&CheckReport<R>>

The folded report, when it is current. None after a marginalisation: the pre-trace margins are not readable as current margins.

pub fn stale_report_degraded(&self) -> Option<R>

The stale report’s worst margin degraded by the amplification, after a marginalisation.

pub fn status(&self) -> ScreenStatus<R>

Whether the report is current.

impl<R: RealField, N: NaturalNumber, S: SubjectOrigin> Screened<R, N, S>

pub fn origin(&self) -> ScreenOrigin

Where the screened subject’s factorization came from.

pub fn require_compositional(&self) -> Result<(), QuantumError>

Admits the screen into an abstraction, which needs a compositional model.

Errors

QuantumError::NoCompositionalModel unless the origin is a circuit: a process operator without its circuit is the marginal of a compositional model and not one itself (Lorenz & Tull, Example 62), so it validates as in v1 and stops.

impl<R, N, G, T> Screened<R, N, ModelSubject<R, G, T>>

where R: RealField + FromPrimitive + Default + Debug, N: NaturalNumber, G: Clone, T: Clone,

pub fn marginalise( &self, kept_legs: usize, z: &CausalTensor<Complex<R>>, tolerance: R, ) -> Result<(Marginalised<R>, Self), QuantumError>

Marginalise the screened factorization, gated on the boundary warrant, invalidating the report. The traced operator and its warrant come back beside the invalidated screen.

Errors

As Hypothesis::marginalise.

Trait Implementations

impl<R: Clone + RealField, N: Clone + NaturalNumber, S: Clone> Clone for Screened<R, N, S>

fn clone(&self) -> Screened<R, N, S>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<R, N, const D: usize> ControlSource<R, N, D> for &Screened<R, N, PlantSubject<R, D, Structural>>

where R: RealField, N: NaturalNumber,

fn into_control(self) -> Control<R, N, D>

The control stage over this source.