[−][src]Trait l_group_formulas::Term

pub trait Term {
    fn inverse(&self) -> Self;
}

All term-like objects in our context have an inverse.

Required methods

`fn inverse(&self) -> Self`

Loading content...

Implementors

`impl Term for LGroupTerm`[src]

`fn inverse(&self) -> LGroupTerm`[src]

`impl Term for FreeGroupTerm`[src]

`fn inverse(&self) -> FreeGroupTerm`[src]

`impl Term for Literal`[src]

`fn inverse(&self) -> Literal`[src]

`impl Term for ShortFreeGroupTerm`[src]

`fn inverse(&self) -> ShortFreeGroupTerm`[src]

Loading content...