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

Equation	Represents an equation in LRS standard form where each term is chained in an AND operation
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