pub enum DblModelBox {
Discrete(DiscreteDblModel<Uuid, UstrFinCategory>),
DiscreteTab(DiscreteTabModel<Uuid, Ustr, BuildHasherDefault<IdentityHasher>>),
}
Expand description
A box containing a model of a double theory of any kind.
See DblTheoryBox
for motivation.
Variants§
Discrete(DiscreteDblModel<Uuid, UstrFinCategory>)
DiscreteTab(DiscreteTabModel<Uuid, Ustr, BuildHasherDefault<IdentityHasher>>)
Trait Implementations§
Source§impl<'__deriveMoreLifetime> TryFrom<&'__deriveMoreLifetime DblModelBox> for &'__deriveMoreLifetime DiscreteDblModel<Uuid, UstrFinCategory>
impl<'__deriveMoreLifetime> TryFrom<&'__deriveMoreLifetime DblModelBox> for &'__deriveMoreLifetime DiscreteDblModel<Uuid, UstrFinCategory>
Source§type Error = TryIntoError<&'__deriveMoreLifetime DblModelBox>
type Error = TryIntoError<&'__deriveMoreLifetime DblModelBox>
The type returned in the event of a conversion error.
Source§impl<'__deriveMoreLifetime> TryFrom<&'__deriveMoreLifetime DblModelBox> for &'__deriveMoreLifetime DiscreteTabModel<Uuid, Ustr, BuildHasherDefault<IdentityHasher>>
impl<'__deriveMoreLifetime> TryFrom<&'__deriveMoreLifetime DblModelBox> for &'__deriveMoreLifetime DiscreteTabModel<Uuid, Ustr, BuildHasherDefault<IdentityHasher>>
Source§type Error = TryIntoError<&'__deriveMoreLifetime DblModelBox>
type Error = TryIntoError<&'__deriveMoreLifetime DblModelBox>
The type returned in the event of a conversion error.
Source§impl TryFrom<DblModelBox> for DiscreteDblModel<Uuid, UstrFinCategory>
impl TryFrom<DblModelBox> for DiscreteDblModel<Uuid, UstrFinCategory>
Source§type Error = TryIntoError<DblModelBox>
type Error = TryIntoError<DblModelBox>
The type returned in the event of a conversion error.
Auto Trait Implementations§
impl Freeze for DblModelBox
impl RefUnwindSafe for DblModelBox
impl Send for DblModelBox
impl Sync for DblModelBox
impl Unpin for DblModelBox
impl UnwindSafe for DblModelBox
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.