Struct SimplifyAllNotAny 

pub struct SimplifyAllNotAny;

Trait Implementations

impl<T> VisitMut<T> for SimplifyAllNotAny

where T: Eq,

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

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

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)