Trait HasIO

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

    // Provided method
    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>