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

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.

Describes a reduce operation type