pub enum CubeVar {
False,
True,
DontCare,
}Expand description
A variable assignment in a cube.
Variants§
False
This variable must be false.
True
This variable must be true.
DontCare
This variable may be true or false.
Trait Implementations§
Source§impl Ord for CubeVar
impl Ord for CubeVar
Source§impl PartialOrd for CubeVar
impl PartialOrd for CubeVar
impl Eq for CubeVar
impl StructuralPartialEq for CubeVar
Auto Trait Implementations§
impl Freeze for CubeVar
impl RefUnwindSafe for CubeVar
impl Send for CubeVar
impl Sync for CubeVar
impl Unpin for CubeVar
impl UnwindSafe for CubeVar
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