trit_core/lib.rs
1//! 三值逻辑核心：值、代数、AST、解析器、位并行表示与二进制互操作。
2
3#![forbid(unsafe_code)]
4
5pub mod algebra;
6pub mod ast;
7pub mod bits;
8pub mod bulk;
9pub mod limits;
10pub mod parallel;
11pub mod parser;
12pub mod value;
13
14pub use algebra::Algebra;
15pub use ast::{Expr, VarNameError};
16pub use bits::{BitPlane, TriBit, TruthTable};
17pub use bulk::{TriVec, TriVecError};
18pub use limits::{LimitError, Limits, check_expr, check_vars, checked_pow3};
19pub use parser::Parser;
20pub use value::Ternary;