Struct Logical 

pub struct Logical(pub [[bool; 2]; 2]);

A function of two Booleans, held as its truth table: Logical(t) gives t[r][x] for the running result r and the next item x. Its scans run any such function.

Tuple Fields

0: [[bool; 2]; 2]

Implementations

impl Logical

pub fn scan(self, x: &[bool], start: Option<bool>, out: &mut Vec<bool>)

Appends the running results of x to out: the first item, or start combined with it where start is given, then each result combined with the next item.

For each value of the next item, the function maps the running result to itself, to its negation, or to a constant. Where one value maps it to itself and the other to a constant, as for and and or, the results change at most once. first_where finds that place, and two runs fill the rest. Otherwise each map is r ↦ (s ∧ r) ≠ t for two bits s and t, and the maps compose as r ↦ (s₂ ∧ s₁ ∧ r) ≠ ((s₂ ∧ t₁) ≠ t₂). Each block of 64 items packs into a word of bits, whose maps compose in six steps of shifts, with no branch and no step for each item.

Trait Implementations

impl Clone for Logical

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Logical

impl Debug for Logical

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

Formats the value using the given formatter.

impl Eq for Logical

impl PartialEq for Logical

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Logical