catlog::one::graph

Struct GraphMorphism

Source 
pub struct GraphMorphism<'a, Map, Dom, Cod>(pub &'a Map, pub &'a Dom, pub &'a Cod);
Expand description

A homomorphism between graphs defined by a mapping.

This struct borrows its data to perform validation. The domain and codomain are assumed to be valid graphs. If that is in question, the graphs should be validated before validating this object.

Tuple Fields§

§0: &'a Map§1: &'a Dom§2: &'a Cod

Implementations§

Source§

impl<'a, Map, Dom, Cod> GraphMorphism<'a, Map, Dom, Cod>
where Map: GraphMapping, Map::DomE: Clone, Dom: FinGraph<V = Map::DomV, E = Map::DomE>, Cod: Graph<V = Map::CodV, E = Map::CodE>,

Source

pub fn iter_invalid( &self, ) -> impl Iterator<Item = InvalidGraphMorphism<Map::DomV, Map::DomE>> + 'a + use<'a, Map, Dom, Cod>

Iterates over failures of the mapping to be a graph homomorphism.

Trait Implementations§

Source§

impl<Map, Dom, Cod> Validate for GraphMorphism<'_, Map, Dom, Cod>
where Map: GraphMapping, Map::DomE: Clone, Dom: FinGraph<V = Map::DomV, E = Map::DomE>, Cod: Graph<V = Map::CodV, E = Map::CodE>,

Source§

type ValidationError = InvalidGraphMorphism<<Map as GraphMapping>::DomV, <Map as GraphMapping>::DomE>

The type of a validation error. Read more
Source§

fn validate(&self) -> Result<(), NonEmpty<Self::ValidationError>>

Validates the object.

Auto Trait Implementations§

§

impl<'a, Map, Dom, Cod> Freeze for GraphMorphism<'a, Map, Dom, Cod>

§

impl<'a, Map, Dom, Cod> RefUnwindSafe for GraphMorphism<'a, Map, Dom, Cod>
where Map: RefUnwindSafe, Dom: RefUnwindSafe, Cod: RefUnwindSafe,

§

impl<'a, Map, Dom, Cod> Send for GraphMorphism<'a, Map, Dom, Cod>
where Map: Sync, Dom: Sync, Cod: Sync,

§

impl<'a, Map, Dom, Cod> Sync for GraphMorphism<'a, Map, Dom, Cod>
where Map: Sync, Dom: Sync, Cod: Sync,

§

impl<'a, Map, Dom, Cod> Unpin for GraphMorphism<'a, Map, Dom, Cod>

§

impl<'a, Map, Dom, Cod> UnwindSafe for GraphMorphism<'a, Map, Dom, Cod>
where Map: RefUnwindSafe, Dom: RefUnwindSafe, Cod: RefUnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
§

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).
§

fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.