Struct bool_logic::transform::SimplifyNestedList

pub struct SimplifyNestedList;

Trait Implementations

impl<T> VisitMut<T> for SimplifyNestedListwhere T: Eq,

fn visit_mut_any(&mut self, Any: &mut Any<T>)

any(x0, all(x0, x1), x2) => any(x0, x2)

fn visit_mut_all(&mut self, All: &mut All<T>)

all(x0, any(x0, x1), x2) => all(x0, x2)

fn visit_mut_expr(&mut self, expr: &mut Expr<T>)

fn visit_mut_not(&mut self, Not: &mut Not<T>)

fn visit_mut_var(&mut self, Var: &mut Var<T>)

fn visit_mut_const(&mut self, b: &mut bool)