trit-eval 0.8.1

三值求值、真值表与化简
Documentation
1
2
3
4
5
6
7
8
9
10
11
//! 三值求值、真值表与化简。

pub mod eval;
pub mod simplify;

pub use eval::{
    Assignment, AssignmentCodecError, EquivalenceResult, VarMap, assignment_index,
    decode_assignment, equivalent, equivalent_within, eval, eval_bitwise, eval_within, truth_table,
    truth_table_within, try_assignment_index, try_decode_assignment,
};
pub use simplify::{SimplifyOptions, simplify, simplify_with};