Struct FactMapping 

pub struct FactMapping {
    pub fact: Name,
    pub claim: Name,
}

One owner fact mapped to the claim that permits pressure on it.

Both are names the consumer declares. This home resolves neither and admits any pair, because which facts exist and which claims cover them is the declaration’s whole subject.

Fields

fact: Name

The owner fact pressure is applied to.

claim: Name

The claim that permits it.

Trait Implementations

impl Clone for FactMapping

fn clone(&self) -> FactMapping

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FactMapping

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

Formats the value using the given formatter.

impl Eq for FactMapping

impl Hash for FactMapping

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for FactMapping

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FactMapping