Expand description
This will contain some good documentation about the LRS crate
For now I guess enjoy this emoji of a cup 🍵
Macros§
- symbol
- A slightly smaller helper macro that creates a symbol based on a string
- term
- A helper macro that creates terms with a variable amount of symbols based on the more user friendly syntax
Structs§
- Clause
- Represents a logical equation in conjunctive normal form Consists of a finite collection of Terms of symbols chained via OR that are chained in the clause with AND operations.
- Operation
- Represents a reduce operation and every piece of data involved
- Symbol
- A logical symbol in a term
- Term
- Represents a list of symbols in OR operator chain which in a LRS notation would make up something like { A, B, ¬C }. Insertions are sanitised to make sure that there are never two contradicting symbols in the same term.
Enums§
- Operation
Type - Describes a reduce operation type