pub struct ClassId(pub usize);
Tuple Fields§
§0: usize
Trait Implementations§
Source§impl NewAttribute<ClassId> for AttributeValue<ClassId>
impl NewAttribute<ClassId> for AttributeValue<ClassId>
fn new( smt: &Smt<'_>, model: &Model<'_>, instance: InstanceId, attribute: AttributeId<ClassId>, ) -> Self
impl Copy for ClassId
impl Eq for ClassId
impl StructuralPartialEq for ClassId
Auto Trait Implementations§
impl Freeze for ClassId
impl RefUnwindSafe for ClassId
impl Send for ClassId
impl Sync for ClassId
impl Unpin for ClassId
impl UnwindSafe for ClassId
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