Struct bool_logic::transform::SimplifyAllNotAny

pub struct SimplifyAllNotAny;

Simplify all(not(any(...)), any(...))

Trait Implementations

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

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

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

fn visit_mut_any(&mut self, Any: &mut Any<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)