Struct IsZeroIo

#[repr(C)]
pub struct IsZeroIo<T> {
    pub x: T,
    pub out: T,
    pub condition: T,
}

Fields

x: T

out: T

The boolean output, constrained to equal (x == 0) when condition != 0..

condition: T

Constraints only hold when condition != 0. When condition == 0, setting all trace values to zero still passes the constraints.

Implementations

impl<T> IsZeroIo<T>

pub fn new(x: T, out: T, condition: T) -> Self

Constructs a new IsZeroIo.

Trait Implementations

impl<T: Clone> Clone for IsZeroIo<T>

fn clone(&self) -> IsZeroIo<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for IsZeroIo<T>

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

Formats the value using the given formatter.

impl<T: Copy> Copy for IsZeroIo<T>