[−][src]Crate l_group_formulas
Modules
formula | |
free_group_term | The module containing everything about free group terms,
in particular the struct |
l_group_term | The module containing everything about l_group_formulas
(but not their cnfs), in particular the struct |
literal | The module containing everything about literals,
in particular the struct |
parsing_error | |
short_free_group_term | The module containing everything about 'short' (shorter than three)
free group terms, in particular the struct |
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. |