Struct TriBit 

pub struct TriBit {
    pub ones: BitPlane,
    pub unknowns: BitPlane,
}

三值的位并行表示：一对位平面。

Fields

ones: BitPlane

1 平面：取真的组。

unknowns: BitPlane

X 平面：取未知的组。

Implementations

impl TriBit

pub const FALSE: Self

全假。

pub const TRUE: Self

全真。

pub const UNKNOWN: Self

全未知。

pub const fn from_binary(ones: u64) -> Self

从二进制平面构造：ones 的位就是 True，unknowns = 0。

这是二进制与三值之间的零开销桥：不复制、不分配。

pub const fn is_binary(self) -> bool

是否为纯二值（没有 Unknown）。

pub const fn as_binary(self) -> Option<u64>

若是纯二值，取出 ones 平面；否则 None。

pub const fn constant(v: Ternary) -> Self

构造常量。

pub const fn get(self, bit: u32) -> Ternary

读出第 bit 组的取值。

pub const fn not(self) -> Self

按位取反。¬X = X。

pub const fn and(self, other: Self, alg: Algebra) -> Self

按位与。

K3 / Ł3：格序 min（X 是中间元）。B3：X 吸收。

pub const fn or(self, other: Self, alg: Algebra) -> Self

按位或。

K3 / Ł3：格序 max（X 是中间元）。B3：X 吸收。

pub const fn and_lattice(self, other: Self) -> Self

按位与：格序 min（K3 / Ł3）。

pub const fn or_lattice(self, other: Self) -> Self

按位或：格序 max（K3 / Ł3）。

pub const fn strong_add(self, other: Self, alg: Algebra) -> Self

按位强加法 ⊕，语义相关。

pub const fn strong_and(self, other: Self, alg: Algebra) -> Self

按位强合取 ⊗，语义相关。

pub const fn implies(self, other: Self, alg: Algebra) -> Self

按位蕴含 ⇒，语义相关。

pub const fn equiv(self, other: Self, alg: Algebra) -> Self

按位等价 ≡。

Trait Implementations

impl Clone for TriBit

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 TriBit

impl Debug for TriBit

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

Formats the value using the given formatter.

impl Default for TriBit

fn default() -> Self

Returns the “default value” for a type.

impl Eq for TriBit

impl PartialEq for TriBit

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TriBit