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