Enum GateType 

pub enum GateType {
    And {
        output: Lit,
        inputs: Vec<Lit>,
    },
    Or {
        output: Lit,
        inputs: Vec<Lit>,
    },
    Xor {
        output: Lit,
        inputs: Vec<Lit>,
    },
    Ite {
        output: Lit,
        condition: Lit,
        then_val: Lit,
        else_val: Lit,
    },
    Mux {
        output: Lit,
        select: Vec<Lit>,
        inputs: Vec<Lit>,
    },
}

Type of logical gate

Variants

And

AND gate: output = a ∧ b

Fields

output: Lit

Output literal of the AND gate

inputs: Vec<Lit>

Input literals

Or

OR gate: output = a ∨ b

Fields

output: Lit

Output literal of the OR gate

inputs: Vec<Lit>

Input literals

Xor

XOR gate: output = a ⊕ b

Fields

output: Lit

Output literal of the XOR gate

inputs: Vec<Lit>

Input literals

Ite

ITE gate: output = if c then t else e

Fields

output: Lit

Output literal of the ITE gate

condition: Lit

Condition literal

then_val: Lit

Then-value literal

else_val: Lit

Else-value literal

Mux

MUX gate: generalized ITE with multiple conditions

Fields

output: Lit

Output literal of the MUX gate

select: Vec<Lit>

Select literals

inputs: Vec<Lit>

Input literals

Implementations

impl GateType

pub fn output(&self) -> Lit

Get the output literal of this gate

pub fn inputs(&self) -> Vec<Lit>

Get all input literals of this gate

Trait Implementations

impl Clone for GateType

fn clone(&self) -> GateType

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for GateType

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for GateType

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for GateType

fn eq(&self, other: &GateType) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for GateType

impl StructuralPartialEq for GateType