Struct AcceptedRouteEvidence 

pub struct AcceptedRouteEvidence { /* private fields */ }

One opaque accepted 250 MHz route-policy proof.

The type has no public constructor, serde implementation, or Clone implementation. Its private retained-descriptor guard is uninhabited in this source slice, so even module-private metadata policy validation cannot construct it. A future exact parser must install the descriptor guard and revalidate it before this type can become inhabited.

use u280_hardware_promoter::AcceptedRouteEvidence;

fn assert_clone<T: Clone>() {}
assert_clone::<AcceptedRouteEvidence>();

use serde::de::DeserializeOwned;
use u280_hardware_promoter::AcceptedRouteEvidence;

fn assert_deserializable<T: DeserializeOwned>() {}
assert_deserializable::<AcceptedRouteEvidence>();

use u280_hardware_promoter::AcceptedRouteEvidence;

fn external_representation_is_private(value: AcceptedRouteEvidence) {
    let AcceptedRouteEvidence {
        policy: _,
        retained_descriptors: _,
    } = value;
}

Implementations

impl AcceptedRouteEvidence

pub fn design_digest(&self) -> &str

Design-family digest joining the accepted 250 MHz stage and route.

pub const fn actual_routed_hz(&self) -> u64

Actual routed clock accepted from the exact 250 MHz route proof.

pub const fn setup_wns_femtoseconds(&self) -> i64

Exact accepted setup worst negative slack, represented in femtoseconds.

pub const fn hold_whs_femtoseconds(&self) -> i64

Exact accepted hold worst hold slack, represented in femtoseconds.

pub const fn whole_design_luts(&self) -> u64

Whole-routed-design LUT count, including shell resources.

pub const fn whole_design_registers(&self) -> u64

Whole-routed-design register count, including shell resources.

pub const fn whole_design_dsps(&self) -> u64

Whole-routed-design DSP count, including shell resources.

Trait Implementations

impl Debug for AcceptedRouteEvidence

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

Formats the value using the given formatter.