Enum BoolOp 

pub enum BoolOp {
    Const(bool),
    Copy(BitId),
    Not(Box<BoolOp>),
    Parity {
        inputs: Box<[BitId]>,
        constant: bool,
    },
    Xor(Box<[BoolOp]>),
    And(Box<[BoolOp]>),
    Or(Box<[BoolOp]>),
    Select {
        condition: Box<BoolOp>,
        when_false: Box<BoolOp>,
        when_true: Box<BoolOp>,
    },
    Call {
        body: Arc<BoolOp>,
        inputs: Box<[BitId]>,
    },
}

Boolean bytecode with absolute register operands, or argument slots within a shared BoolOp::Call body.

Evaluators must load every listed operand, including unselected Select arms and duplicate parity inputs.

Variants

Const(bool)

Copy(BitId)

Not(Box<BoolOp>)

Parity

Fields

inputs: Box<[BitId]>

constant: bool

Xor(Box<[BoolOp]>)

And(Box<[BoolOp]>)

Or(Box<[BoolOp]>)

Select

Fields

condition: Box<BoolOp>

when_false: Box<BoolOp>

when_true: Box<BoolOp>

Call

Evaluate a shared pure body. Copies in body name positions in inputs; the invocation binds those positions to registers in its enclosing scope. Every argument is required, including arguments unused by the body. Values and timestamps are evaluated independently per call.

Fields

body: Arc<BoolOp>

inputs: Box<[BitId]>

Trait Implementations

impl Clone for BoolOp

fn clone(&self) -> BoolOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BoolOp

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

Formats the value using the given formatter.

impl Eq for BoolOp

impl PartialEq for BoolOp

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for BoolOp

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for BoolOp