Crate l_group_formulas
Source - 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.
- 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.