Enum BoolExpr 

pub enum BoolExpr {
    Const(bool),
    Var(String),
    Not(Box<BoolExpr>),
    And(Box<BoolExpr>, Box<BoolExpr>),
    Or(Box<BoolExpr>, Box<BoolExpr>),
    Xor(Box<BoolExpr>, Box<BoolExpr>),
    Implies(Box<BoolExpr>, Box<BoolExpr>),
    Iff(Box<BoolExpr>, Box<BoolExpr>),
}

A boolean expression tree used to represent propositional formulas.

Variants

Const(bool)

A constant boolean value.

Var(String)

A named variable.

Not(Box<BoolExpr>)

Logical NOT.

And(Box<BoolExpr>, Box<BoolExpr>)

Logical AND.

Or(Box<BoolExpr>, Box<BoolExpr>)

Logical OR.

Xor(Box<BoolExpr>, Box<BoolExpr>)

Logical XOR.

Implies(Box<BoolExpr>, Box<BoolExpr>)

Logical implication (a → b = ¬a ∨ b).

Iff(Box<BoolExpr>, Box<BoolExpr>)

Logical IFF (biconditional).

Implementations

impl BoolExpr

pub fn eval(&self, env: &HashMap<&str, bool>) -> Option<bool>

Evaluate the expression under a variable assignment.

Returns None if any variable is unassigned.

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

Collect all variable names in this expression.

pub fn is_tautology(&self) -> bool

Check if the expression is a tautology by enumerating all assignments.

Trait Implementations

impl Clone for BoolExpr

fn clone(&self) -> BoolExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BoolExpr

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

Formats the value using the given formatter.

impl PartialEq for BoolExpr

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for BoolExpr