pub enum InvalidGraphMorphism<V, E> {
Vertex(V),
Edge(E),
Src(E),
Tgt(E),
}Expand description
A failure of a mapping between graphs to define a graph homomorphism.
Variants§
Vertex(V)
A vertex in the domain graph not mapped to a vertex in the codomain.
Edge(E)
An edge in the domain graph not mapped to an edge in the codomain.
Src(E)
An edge in the domain graph whose source is not preserved.
Tgt(E)
An edge in the domain graph whose target is not preserved.
Trait Implementations§
Source§impl<V, E> Display for InvalidGraphMorphism<V, E>
impl<V, E> Display for InvalidGraphMorphism<V, E>
Source§impl<V, E> Error for InvalidGraphMorphism<V, E>
impl<V, E> Error for InvalidGraphMorphism<V, E>
1.30.0 · Source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
Returns the lower-level source of this error, if any. Read more
1.0.0 · Source§fn description(&self) -> &str
fn description(&self) -> &str
👎Deprecated since 1.42.0: use the Display impl or to_string()
Auto Trait Implementations§
impl<V, E> Freeze for InvalidGraphMorphism<V, E>
impl<V, E> RefUnwindSafe for InvalidGraphMorphism<V, E>where
V: RefUnwindSafe,
E: RefUnwindSafe,
impl<V, E> Send for InvalidGraphMorphism<V, E>
impl<V, E> Sync for InvalidGraphMorphism<V, E>
impl<V, E> Unpin for InvalidGraphMorphism<V, E>
impl<V, E> UnwindSafe for InvalidGraphMorphism<V, E>where
V: UnwindSafe,
E: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
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
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
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
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.