pub struct ConstrainedSwitch {
pub from: usize,
pub to: usize,
pub open: bool,
}Expand description
A switch to be represented as a constraint rather than as a branch.
Fields§
§from: usize§to: usize§open: boolTrait Implementations§
Source§impl Clone for ConstrainedSwitch
impl Clone for ConstrainedSwitch
impl Copy for ConstrainedSwitch
Source§impl Debug for ConstrainedSwitch
impl Debug for ConstrainedSwitch
impl Eq for ConstrainedSwitch
Source§impl PartialEq for ConstrainedSwitch
impl PartialEq for ConstrainedSwitch
impl StructuralPartialEq for ConstrainedSwitch
Auto Trait Implementations§
impl Freeze for ConstrainedSwitch
impl RefUnwindSafe for ConstrainedSwitch
impl Send for ConstrainedSwitch
impl Sync for ConstrainedSwitch
impl Unpin for ConstrainedSwitch
impl UnsafeUnpin for ConstrainedSwitch
impl UnwindSafe for ConstrainedSwitch
Blanket Implementations§
impl<T> Boilerplate for T
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T, U> Imply<T> for U
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