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 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.

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) -> EnvelopeMembershipEvidence

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: &EnvelopeMembershipEvidence) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for EnvelopeMembershipEvidence