Crate lrs [−] [src]
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
OperationType |
Describes a reduce operation type |