trit_eval/lib.rs
1//! 三值求值、真值表与化简。
2
3#![forbid(unsafe_code)]
4
5pub mod eval;
6pub mod simplify;
7
8pub use eval::{
9 Assignment, AssignmentCodecError, EquivalenceResult, VarMap, assignment_index,
10 decode_assignment, equivalent, equivalent_within, eval, eval_bitwise, eval_within, truth_table,
11 truth_table_within, try_assignment_index, try_decode_assignment,
12};
13pub use simplify::{SimplifyOptions, simplify, simplify_with};