Trait l_group_formulas::Reducable

pub trait Reducable {
    fn reduced(self) -> Self;
}

If terms can be cleaned up in a non-expensive way, they implement this trait.

Required methods

fn reduced(self) -> Self

Loading content...

Implementors

impl Reducable for LGroupTerm

fn reduced(self) -> LGroupTerm

impl Reducable for FreeGroupTerm

fn reduced(self) -> FreeGroupTerm

Loading content...