Struct SafetyConditionDomainIndex 

pub struct SafetyConditionDomainIndex { /* private fields */ }

Precomputed source-domain evidence shared by every operation in one delta.

Construction walks the target subtype graph once and propagates every source-declared type to its target supertypes. Per-operation condition-free checks are then bounded map lookups rather than repeated graph traversals.

Implementations

impl SafetyConditionDomainIndex

pub fn new(source: &DeclaredSchema, target: &DeclaredSchema) -> Self

Bind one reusable proof index to exact source and target declarations.

Trait Implementations

impl Clone for SafetyConditionDomainIndex

fn clone(&self) -> SafetyConditionDomainIndex

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SafetyConditionDomainIndex

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

Formats the value using the given formatter.

impl Eq for SafetyConditionDomainIndex

impl PartialEq for SafetyConditionDomainIndex

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SafetyConditionDomainIndex