Crate trit_eval 

三值求值、真值表与化简。

Re-exports

pub use eval::Assignment;

pub use eval::AssignmentCodecError;

pub use eval::EquivalenceResult;

pub use eval::VarMap;

pub use eval::assignment_index;

pub use eval::decode_assignment;

pub use eval::equivalent;

pub use eval::equivalent_within;

pub use eval::eval;

pub use eval::eval_bitwise;

pub use eval::eval_within;

pub use eval::truth_table;

pub use eval::truth_table_within;

pub use eval::try_assignment_index;

pub use eval::try_decode_assignment;

pub use simplify::SimplifyOptions;

pub use simplify::simplify;

pub use simplify::simplify_with;

Modules

eval

表达式求值：把 Expr 在给定赋值或全部赋值上求值。

simplify

表达式化简。