Struct EnvelopeMembershipEvidence 

pub struct EnvelopeMembershipEvidence { /* private fields */ }

Declared and derived envelope membership, with supporting evidence.

Implementations

impl EnvelopeMembershipEvidence

pub fn try_new( request: EnvelopeMembershipRequest, declared: Vec<ObjectId>, derived: Vec<ObjectId>, evaluated_objects: usize, evidence: Evidence, ) -> Result<Self, EnvelopeMembershipError>

Both sets are sorted and deduplicated so agreement is decided by content, never by the order an adapter happened to walk the model.

pub fn with_undeclared(self, undeclared: Vec<ObjectId>) -> Self

Records objects that cannot be compared: the model states neither external nor internal, or their body could not be measured.

An unstated declaration is unknown, not internal, and an unmeasured body is not known to be off the envelope, so these objects leave both sets: comparing them would report a discrepancy nobody established.

pub fn request(&self) -> &EnvelopeMembershipRequest

pub fn declared(&self) -> &[ObjectId]

Objects the model states are on the envelope.

pub fn derived(&self) -> &[ObjectId]

Objects geometry places on the envelope, less the undeclared ones: the set compared with Self::declared.

pub fn on_envelope(&self) -> &[ObjectId]

Objects geometry places on the envelope, whatever the model declares about them: what two derivations are compared by. An object whose body could not be measured is never in it.

pub fn undeclared(&self) -> &[ObjectId]

Objects that cannot be compared, excluded from both sets.

pub fn evaluated_objects(&self) -> usize

How many objects the derivation considered.

pub fn evidence(&self) -> &Evidence

pub fn agrees(&self) -> bool

Whether the two sets hold exactly the same objects.

pub fn declared_only(&self) -> Vec<ObjectId>

Declared on the envelope but not derived there.

pub fn derived_only(&self) -> Vec<ObjectId>

Derived on the envelope but not declared there.

Trait Implementations

impl Clone for EnvelopeMembershipEvidence

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 EnvelopeMembershipEvidence

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

Formats the value using the given formatter.

impl PartialEq for EnvelopeMembershipEvidence

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for EnvelopeMembershipEvidence