Struct TriVec 

pub struct TriVec { /* private fields */ }

位切片的三值向量。

相等语义按值：两个 TriVec 只要长度与逐元素取值一致就相等， 与内部是否分配了全零的 unknowns 平面无关。

Implementations

impl TriVec

pub fn from_binary(ones: Vec<u64>, len: usize) -> Self

零拷贝接管二进制位平面：ones 的位为 1 表示 True，0 表示 False。

ones 必须至少覆盖 len 位；多余字会被截断，末尾多余位会被清零。

Panics

ones 字数不足时 panic；边界输入请用 TriVec::try_from_binary。

pub fn try_from_binary(ones: Vec<u64>, len: usize) -> Result<Self, TriVecError>

同 TriVec::from_binary，但字数不足时返回错误。

pub fn from_bools(bits: &[bool]) -> Self

从 bool 切片打包。

pub fn from_ternary(values: &[Ternary]) -> Self

从标量三值切片打包。

pub fn to_bools(&self) -> Option<Vec<bool>>

若全部是二值，解包成 bool；含 Unknown 时返回 None。

pub fn len(&self) -> usize

长度。

pub fn is_empty(&self) -> bool

是否为空。

pub fn words(&self) -> usize

位平面字数。

pub fn is_binary(&self) -> bool

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

pub fn ones(&self) -> &[u64]

ones 位平面（只读）。

pub fn unknowns(&self) -> Option<&[u64]>

unknowns 位平面；None 表示纯二值。

pub fn get(&self, i: usize) -> Ternary

取第 i 个三值。

Panics

i 越界时 panic；边界输入请用 TriVec::try_get。

pub fn try_get(&self, i: usize) -> Result<Ternary, TriVecError>

取第 i 个三值；越界返回错误。

pub fn set(&mut self, i: usize, value: Ternary)

写第 i 个三值；首次写 Unknown 时分配 unknown 平面。

Panics

i 越界时 panic；边界输入请用 TriVec::try_set。

pub fn try_set(&mut self, i: usize, value: Ternary) -> Result<(), TriVecError>

写第 i 个三值；越界返回错误。

pub fn count_unknowns(&self) -> usize

Unknown 的个数。

pub fn word(&self, word: usize) -> TriBit

取整个字（64 路）的位并行表示。

Panics

字索引越界时 panic；边界输入请用 TriVec::try_word。

pub fn try_word(&self, word: usize) -> Result<TriBit, TriVecError>

取整个字的位并行表示；越界返回错误。

pub fn not(&mut self)

原地取反：True/False 互换，Unknown 不变。

pub fn and_assign( &mut self, other: &Self, alg: Algebra, ) -> Result<(), ShapeError>

原地与。K3/Ł3 用格序，B3 用毒值。

pub fn or_assign( &mut self, other: &Self, alg: Algebra, ) -> Result<(), ShapeError>

原地或。K3/Ł3 用格序，B3 用毒值。

Trait Implementations

impl Clone for TriVec

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TriVec

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

Formats the value using the given formatter.

impl Eq for TriVec

impl PartialEq for TriVec

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

Equality operator ==.

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

Inequality operator !=.