Struct IsEqualIo

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

Fields

x: T

y: T

out: T

The boolean output, constrained to equal (x == y), 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> IsEqualIo<T>

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

Constructs a new IsEqualIo.

Trait Implementations

impl<T: Clone> Clone for IsEqualIo<T>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for IsEqualIo<T>

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

Formats the value using the given formatter.

impl<T: Copy> Copy for IsEqualIo<T>