[][src]Crate l_group_formulas

Modules

formula
free_group_term

The module containing everything about free group terms, in particular the struct FreeGroupTerm.

l_group_term

The module containing everything about l_group_formulas (but not their cnfs), in particular the struct LGroupTerm.

literal

The module containing everything about literals, in particular the struct Literal.

parsing_error
short_free_group_term

The module containing everything about 'short' (shorter than three) free group terms, in particular the struct ShortFreeGroupTerm.

Traits

Reducable

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

Term

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