Struct biodivine_sketchbook::sketchbook::ids::UninterpretedFnId
source · pub struct UninterpretedFnId(BaseId);
Expand description
A type-safe (string-based) identifier of a UninterpretedFn
inside a particular model.
Warning: Do not mix identifiers between different models/sketches.
Tuple Fields§
§0: BaseId
Implementations§
Trait Implementations§
source§impl Clone for UninterpretedFnId
impl Clone for UninterpretedFnId
source§fn clone(&self) -> UninterpretedFnId
fn clone(&self) -> UninterpretedFnId
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for UninterpretedFnId
impl Debug for UninterpretedFnId
source§impl<'de> Deserialize<'de> for UninterpretedFnId
impl<'de> Deserialize<'de> for UninterpretedFnId
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl Display for UninterpretedFnId
impl Display for UninterpretedFnId
source§impl FromStr for UninterpretedFnId
impl FromStr for UninterpretedFnId
source§impl Hash for UninterpretedFnId
impl Hash for UninterpretedFnId
source§impl Ord for UninterpretedFnId
impl Ord for UninterpretedFnId
source§fn cmp(&self, other: &UninterpretedFnId) -> Ordering
fn cmp(&self, other: &UninterpretedFnId) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
source§impl PartialEq for UninterpretedFnId
impl PartialEq for UninterpretedFnId
source§impl PartialOrd for UninterpretedFnId
impl PartialOrd for UninterpretedFnId
source§impl Serialize for UninterpretedFnId
impl Serialize for UninterpretedFnId
impl Eq for UninterpretedFnId
impl StructuralPartialEq for UninterpretedFnId
Auto Trait Implementations§
impl Freeze for UninterpretedFnId
impl RefUnwindSafe for UninterpretedFnId
impl Send for UninterpretedFnId
impl Sync for UninterpretedFnId
impl Unpin for UninterpretedFnId
impl UnwindSafe for UninterpretedFnId
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)§impl<'de, D, R> CommandArg<'de, R> for Dwhere
D: Deserialize<'de>,
R: Runtime,
impl<'de, D, R> CommandArg<'de, R> for Dwhere
D: Deserialize<'de>,
R: Runtime,
§fn from_command(command: CommandItem<'de, R>) -> Result<D, InvokeError>
fn from_command(command: CommandItem<'de, R>) -> Result<D, InvokeError>
§impl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.