Enum Expr 

pub enum Expr {
    Const(Ternary),
    Var(String),
    Not(Box<Expr>),
    And(Box<Expr>, Box<Expr>),
    Or(Box<Expr>, Box<Expr>),
    Xor(Box<Expr>, Box<Expr>),
    Implies(Box<Expr>, Box<Expr>),
    Equiv(Box<Expr>, Box<Expr>),
}

表达式节点。

Variants

Const(Ternary)

逻辑常量。

Var(String)

变量引用。

Not(Box<Expr>)

否定 ¬a。

And(Box<Expr>, Box<Expr>)

与 a ∧ b。

Or(Box<Expr>, Box<Expr>)

或 a ∨ b。

Xor(Box<Expr>, Box<Expr>)

强加法 a ⊕ b。

Implies(Box<Expr>, Box<Expr>)

蕴含 a ⇒ b（右结合）。

Equiv(Box<Expr>, Box<Expr>)

等价 a ≡ b。

Implementations

impl Expr

pub fn and(a: Expr, b: Expr) -> Self

构造与节点。

pub fn or(a: Expr, b: Expr) -> Self

构造或节点。

pub fn logical_not(a: Expr) -> Self

构造否定节点。

命名为 logical_not 而非 not，避免与 std::ops::Not::not 混淆。

pub fn xor(a: Expr, b: Expr) -> Self

构造强加法节点。

pub fn implies(a: Expr, b: Expr) -> Self

构造蕴含节点。

pub fn equiv(a: Expr, b: Expr) -> Self

构造等价节点。

pub const fn is_unknown_const(&self) -> bool

是否为常量 Unknown。

pub fn variables(&self) -> Vec<String>

收集表达式中出现的全部变量名（保持首次出现顺序）。

pub fn node_count(&self) -> usize

节点总数（用于复杂度统计）。

pub fn depth(&self) -> usize

树的最大深度。

pub fn to_infix(&self) -> String

渲染为规范的中缀记法（带全角运算符），用于展示与化简输出。

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Expr

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Expr

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Expr

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Expr

impl Hash for Expr

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Expr

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for Expr

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Expr