trit-core 0.8.2

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

//! 三值逻辑核心：值、代数、AST、解析器、位并行表示与二进制互操作。

#![forbid(unsafe_code)]

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

pub use algebra::Algebra;
pub use ast::{Expr, VarNameError};
pub use bits::{BitPlane, TriBit, TruthTable};
pub use bulk::{TriVec, TriVecError};
pub use limits::{LimitError, Limits, check_expr, check_vars, checked_pow3};
pub use parser::Parser;
pub use value::Ternary;