pub struct Cube(/* private fields */);
Expand description
A Cube
is one (multidimensional) cube in the variable space: i.e., a
particular set of variable assignments, where each variable is assigned
either true, false, or “don’t care”.
Implementations§
Source§impl Cube
impl Cube
Sourcepub fn true_cube(vars: usize) -> Cube
pub fn true_cube(vars: usize) -> Cube
Construct an always-true cube (all variables are DontCare
) for vars
variables.
Sourcepub fn merge_with(&self, other: &Cube) -> CubeMergeResult
pub fn merge_with(&self, other: &Cube) -> CubeMergeResult
Attempt to merge this cube with another, which may cancel one or the
other (if completely covered), expand one or the other (if possible, to
increase the number of DontCare
s and thus simplify the final
expression), or merge the two into a single cube, or do nothing.
Trait Implementations§
Source§impl Ord for Cube
impl Ord for Cube
Source§impl PartialOrd for Cube
impl PartialOrd for Cube
impl Eq for Cube
Auto Trait Implementations§
impl Freeze for Cube
impl RefUnwindSafe for Cube
impl Send for Cube
impl Sync for Cube
impl Unpin for Cube
impl UnwindSafe for Cube
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