pub struct ConstraintMetadata {
pub name: Option<String>,
pub subscripts: Vec<i64>,
pub parameters: FnvHashMap<String, String>,
pub description: Option<String>,
}
Expand description
Auxiliary metadata for constraints (excluding essential id and equality)
Fields§
§name: Option<String>
§subscripts: Vec<i64>
§parameters: FnvHashMap<String, String>
§description: Option<String>
Trait Implementations§
Source§impl Clone for ConstraintMetadata
impl Clone for ConstraintMetadata
Source§fn clone(&self) -> ConstraintMetadata
fn clone(&self) -> ConstraintMetadata
Returns a duplicate 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 ConstraintMetadata
impl Debug for ConstraintMetadata
Source§impl Default for ConstraintMetadata
impl Default for ConstraintMetadata
Source§fn default() -> ConstraintMetadata
fn default() -> ConstraintMetadata
Returns the “default value” for a type. Read more
Source§impl PartialEq for ConstraintMetadata
impl PartialEq for ConstraintMetadata
impl StructuralPartialEq for ConstraintMetadata
Auto Trait Implementations§
impl Freeze for ConstraintMetadata
impl RefUnwindSafe for ConstraintMetadata
impl Send for ConstraintMetadata
impl Sync for ConstraintMetadata
impl Unpin for ConstraintMetadata
impl UnwindSafe for ConstraintMetadata
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§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