pub struct VarId(/* private fields */);Expand description
Decision variable handle that is not bound to a specific memory location.
Trait Implementations§
Source§impl From<VarId> for VarWrapper
Convert VarId to VarWrapper automatically in constraint contexts.
impl From<VarId> for VarWrapper
Convert VarId to VarWrapper automatically in constraint contexts.
Source§impl VarViewExt for VarId
impl VarViewExt for VarId
Source§fn view(self) -> VarWrapper
fn view(self) -> VarWrapper
Wrap variable for view-based constraint creation
impl Copy for VarId
impl Eq for VarId
impl StructuralPartialEq for VarId
Auto Trait Implementations§
impl Freeze for VarId
impl RefUnwindSafe for VarId
impl Send for VarId
impl Sync for VarId
impl Unpin for VarId
impl UnwindSafe for VarId
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