pub enum Node {
False,
Input(usize),
Latch(usize),
And(AigLit, AigLit),
}Expand description
What a node is.
Variants§
False
Input(usize)
The input at this index of Aig::inputs.
Latch(usize)
The latch at this index of Aig::latches.
And(AigLit, AigLit)
The conjunction of two literals of lower-numbered nodes, the larger code first.
Trait Implementations§
impl Copy for Node
impl Eq for Node
impl StructuralPartialEq for Node
Auto Trait Implementations§
impl Freeze for Node
impl RefUnwindSafe for Node
impl Send for Node
impl Sync for Node
impl Unpin for Node
impl UnsafeUnpin for Node
impl UnwindSafe for Node
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