trit-core 0.4.2

三值逻辑核心:Kleene / Łukasiewicz / Bochvar 语义、AST、解析器、位并行表示与二进制互操作
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
//! 三值逻辑核心:值、代数、AST、解析器、位并行表示与二进制互操作。

pub mod algebra;
pub mod ast;
pub mod bits;
pub mod bulk;
pub mod parser;
pub mod value;

pub use algebra::Algebra;
pub use ast::Expr;
pub use bits::{BitPlane, TriBit, TruthTable};
pub use bulk::TriVec;
pub use parser::Parser;
pub use value::Ternary;