Trait TernaryOp 

pub trait TernaryOp: BinaryOp {
    // Provided methods
    fn create_maj3(
        &mut self,
        a: Self::Signal,
        b: Self::Signal,
        c: Self::Signal,
    ) -> Self::Signal { ... }
    fn create_ite(
        &mut self,
        condition: Self::Signal,
        then: Self::Signal,
        otherwise: Self::Signal,
    ) -> Self::Signal { ... }
    fn create_xor3(
        &mut self,
        a: Self::Signal,
        b: Self::Signal,
        c: Self::Signal,
    ) -> Self::Signal { ... }
}

Logic operations with three inputs.

Provided Methods

fn create_maj3( &mut self, a: Self::Signal, b: Self::Signal, c: Self::Signal, ) -> Self::Signal

Create three-input majority gate.

fn create_ite( &mut self, condition: Self::Signal, then: Self::Signal, otherwise: Self::Signal, ) -> Self::Signal

Create if-then-else.

fn create_xor3( &mut self, a: Self::Signal, b: Self::Signal, c: Self::Signal, ) -> Self::Signal

Create three-input XOR.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<TO: TernaryOp + ?Sized> TernaryOp for &mut TO

fn create_maj3( &mut self, a: Self::Signal, b: Self::Signal, c: Self::Signal, ) -> Self::Signal

fn create_ite( &mut self, condition: Self::Signal, then: Self::Signal, otherwise: Self::Signal, ) -> Self::Signal

fn create_xor3( &mut self, a: Self::Signal, b: Self::Signal, c: Self::Signal, ) -> Self::Signal

Implementors

impl TernaryOp for Aig

impl TernaryOp for KLutNetwork

impl TernaryOp for Mig