Trait mcircuit::HasIO

pub trait HasIO {
    fn inputs(&self) -> InputIterator<'_, Self>
    where
        Self: Sized;
    fn outputs(&self) -> OutputIterator<'_, Self>
    where
        Self: Sized;

    fn dst<'a>(&'a self) -> Option<usize>
    where
        Self: 'a + Sized,
        OutputIterator<'a, Self>: Iterator<Item = usize>,
    { ... }
}

Applies to all gates, allows access to the input and output wire IDs of the gates

Required methods

fn inputs(&self) -> InputIterator<'_, Self> where
    Self: Sized, 

fn outputs(&self) -> OutputIterator<'_, Self> where
    Self: Sized, 

Provided methods

fn dst<'a>(&'a self) -> Option<usize> where
    Self: 'a + Sized,
    OutputIterator<'a, Self>: Iterator<Item = usize>, 

For convenience, allows access to the (optional) output, since each gate only ever has one at most.

Implementors

impl HasIO for CombineOperation

impl<T: WireValue> HasIO for Operation<T>