pub struct DblModelMap(pub HashMap<String, DblModel>);Expand description
A named collection of models of double theories.
Tuple Fields§
§0: HashMap<String, DblModel>Implementations§
Source§impl DblModelMap
 
impl DblModelMap
Trait Implementations§
Source§impl Default for DblModelMap
 
impl Default for DblModelMap
Source§fn default() -> DblModelMap
 
fn default() -> DblModelMap
Returns the “default value” for a type. Read more
Source§impl From<DblModelMap> for JsValue
 
impl From<DblModelMap> for JsValue
Source§fn from(value: DblModelMap) -> Self
 
fn from(value: DblModelMap) -> Self
Converts to this type from the input type.
Source§impl FromWasmAbi for DblModelMap
 
impl FromWasmAbi for DblModelMap
Source§impl IntoWasmAbi for DblModelMap
 
impl IntoWasmAbi for DblModelMap
Source§impl LongRefFromWasmAbi for DblModelMap
 
impl LongRefFromWasmAbi for DblModelMap
Source§impl OptionFromWasmAbi for DblModelMap
 
impl OptionFromWasmAbi for DblModelMap
Source§impl OptionIntoWasmAbi for DblModelMap
 
impl OptionIntoWasmAbi for DblModelMap
Source§impl RefFromWasmAbi for DblModelMap
 
impl RefFromWasmAbi for DblModelMap
Source§type Anchor = RcRef<DblModelMap>
 
type Anchor = RcRef<DblModelMap>
The type that holds the reference to 
Self for the duration of the
invocation of the function that has an &Self parameter. This is
required to ensure that the lifetimes don’t persist beyond one function
call, and so that they remain anonymous.Source§impl RefMutFromWasmAbi for DblModelMap
 
impl RefMutFromWasmAbi for DblModelMap
Source§impl TryFromJsValue for DblModelMap
 
impl TryFromJsValue for DblModelMap
Source§impl VectorFromWasmAbi for DblModelMap
 
impl VectorFromWasmAbi for DblModelMap
type Abi = <Box<[JsValue]> as FromWasmAbi>::Abi
unsafe fn vector_from_abi(js: Self::Abi) -> Box<[DblModelMap]>
Source§impl VectorIntoJsValue for DblModelMap
 
impl VectorIntoJsValue for DblModelMap
fn vector_into_jsvalue(vector: Box<[DblModelMap]>) -> JsValue
Source§impl VectorIntoWasmAbi for DblModelMap
 
impl VectorIntoWasmAbi for DblModelMap
type Abi = <Box<[JsValue]> as IntoWasmAbi>::Abi
fn vector_into_abi(vector: Box<[DblModelMap]>) -> Self::Abi
Source§impl WasmDescribeVector for DblModelMap
 
impl WasmDescribeVector for DblModelMap
impl SupportsConstructor for DblModelMap
impl SupportsInstanceProperty for DblModelMap
impl SupportsStaticProperty for DblModelMap
Auto Trait Implementations§
impl Freeze for DblModelMap
impl !RefUnwindSafe for DblModelMap
impl !Send for DblModelMap
impl !Sync for DblModelMap
impl Unpin for DblModelMap
impl !UnwindSafe for DblModelMap
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 moreSource§impl<T> ReturnWasmAbi for Twhere
    T: IntoWasmAbi,
 
impl<T> ReturnWasmAbi for Twhere
    T: IntoWasmAbi,
Source§type Abi = <T as IntoWasmAbi>::Abi
 
type Abi = <T as IntoWasmAbi>::Abi
Same as 
IntoWasmAbi::AbiSource§fn return_abi(self) -> <T as ReturnWasmAbi>::Abi
 
fn return_abi(self) -> <T as ReturnWasmAbi>::Abi
Same as 
IntoWasmAbi::into_abi, except that it may throw and never
return in the case of Err.§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.