Trait ToExactBinaryRelation 

pub trait ToExactBinaryRelation<A, B>: ExactSupport<(A, B)>
where
    A: Ord + Clone,
    B: Ord + Clone,
{
    // Provided method
    fn to_binary_relation(&self) -> BinaryRelation<A, B> { ... }
}

Shared exact-support and materialization capability traits for add-on relation surfaces. Materializes exact pair support as a binary relation.

This trait mirrors the existing to_binary_relation conversion methods on released add-on surfaces and keeps deterministic pair order inherited from exact support materialization.

Examples

use relmath::{
    BinaryRelation, ToExactBinaryRelation,
    annotated::{AnnotatedRelation, BooleanSemiring},
};

fn exact_pairs<R>(relation: &R) -> BinaryRelation<&'static str, &'static str>
where
    R: ToExactBinaryRelation<&'static str, &'static str>,
{
    relation.to_binary_relation()
}

let permissions = AnnotatedRelation::from_facts([
    (("alice", "read"), BooleanSemiring::TRUE),
    (("bob", "approve"), BooleanSemiring::TRUE),
]);

assert_eq!(
    exact_pairs(&permissions).to_vec(),
    vec![("alice", "read"), ("bob", "approve")]
);

Provided Methods

fn to_binary_relation(&self) -> BinaryRelation<A, B>

Materializes exact pair support as a binary relation.

Examples found in repository

examples/capability_boundaries.rs (line 17)

fn exact_pairs<R>(relation: &R) -> BinaryRelation<&'static str, &'static str>
where
    R: ExactSupport<(&'static str, &'static str)>
        + ToExactBinaryRelation<&'static str, &'static str>,
{
    assert_eq!(
        relation.exact_support().to_vec(),
        relation.to_binary_relation().to_vec()
    );
    relation.to_binary_relation()
}

Implementors

impl<A, B, R> ToExactBinaryRelation<A, B> for R

where A: Ord + Clone, B: Ord + Clone, R: ExactSupport<(A, B)>,