Struct UnreachableRegionEvidence 

pub struct UnreachableRegionEvidence { /* private fields */ }

Part of the region reaches no target, under complete exact evidence, so the largest distance is unbounded.

Implementations

impl UnreachableRegionEvidence

pub fn new( request: FarthestPointRequest, witness: MetricPoint, completeness: CompleteMetricEvidence, ) -> Self

Binds a point of the region no target reaches, and complete evidence, to one request.

pub fn request(&self) -> &FarthestPointRequest

Request proven to have an unreachable part.

pub fn witness(&self) -> &MetricPoint

A point of the region from which no target is reachable.

pub fn completeness(&self) -> &CompleteMetricEvidence

Exact completeness provenance.

Trait Implementations

impl Clone for UnreachableRegionEvidence

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for UnreachableRegionEvidence

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

Formats the value using the given formatter.

impl PartialEq for UnreachableRegionEvidence

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for UnreachableRegionEvidence