trit_eval/lib.rs
1//! 三值求值、真值表与化简。
2
3pub mod eval;
4pub mod simplify;
5
6pub use eval::{
7 Assignment, EquivalenceResult, VarMap, assignment_index, decode_assignment, equivalent,
8 equivalent_within, eval, eval_bitwise, eval_within, truth_table, truth_table_within,
9};
10pub use simplify::{SimplifyOptions, simplify, simplify_with};