Enum volute::DecompositionType
source · pub enum DecompositionType {
None,
Independent,
Identity,
Negation,
And,
Or,
Le,
Lt,
Xor,
}
Expand description
Basic boolean function families to describe decompositions
Variants§
None
No valid decomposition with this variable
Independent
The function is independent of this variable
Identity
The function returns this variable
Negation
The function returns the negation of this variable
And
Decomposition possible as And
Or
Decomposition possible as Or
Le
Decomposition possible as Less-Or-Equal (equivalent to Nand for a top decomposition)
Lt
Decomposition possible as Less-Than (equivalent to Nor for a top decomposition)
Xor
Decomposition possible as Xor
Implementations§
source§impl DecompositionType
impl DecompositionType
sourcepub fn is_trivial(&self) -> bool
pub fn is_trivial(&self) -> bool
Returns whether the decomposition is trivial (independent, x or !x)
sourcepub fn is_and_type(&self) -> bool
pub fn is_and_type(&self) -> bool
Returns whether the decomposition is based on an and gate or similar
sourcepub fn is_xor_type(&self) -> bool
pub fn is_xor_type(&self) -> bool
Returns whether the decomposition is based on a xor gate
sourcepub fn is_simple_gate(&self) -> bool
pub fn is_simple_gate(&self) -> bool
Returns whether the decomposition is based on any 2-input gate
Trait Implementations§
source§impl Debug for DecompositionType
impl Debug for DecompositionType
source§impl Hash for DecompositionType
impl Hash for DecompositionType
source§impl PartialEq for DecompositionType
impl PartialEq for DecompositionType
source§fn eq(&self, other: &DecompositionType) -> bool
fn eq(&self, other: &DecompositionType) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl Eq for DecompositionType
impl StructuralEq for DecompositionType
impl StructuralPartialEq for DecompositionType
Auto Trait Implementations§
impl RefUnwindSafe for DecompositionType
impl Send for DecompositionType
impl Sync for DecompositionType
impl Unpin for DecompositionType
impl UnwindSafe for DecompositionType
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