Expand description
三值逻辑核心:值、代数、AST、解析器、位并行表示与二进制互操作。
Re-exports§
pub use algebra::Algebra;pub use ast::Expr;pub use ast::VarNameError;pub use bits::BitPlane;pub use bits::TriBit;pub use bits::TruthTable;pub use bulk::TriVec;pub use bulk::TriVecError;pub use limits::LimitError;pub use limits::Limits;pub use limits::check_expr;pub use limits::check_vars;pub use limits::checked_pow3;pub use parser::Parser;pub use value::Ternary;