Module flag_algebra::common

Flat data structures for binary relations.

Structs

AntiSym	Relation R such that R(x,y) = -R(y,x) and R(x,x) does not hold.
Sym	Relation R such that R(x,y) iff R(y,x).
SymNonRefl	Symetric relation R such that R(x,x) never holds

Traits

BinRelation	Generic trait for binary relations.
Enum	A trait that gives access to the list of the possible values of a type.
FlatMatrix	Common interface for square matrices stored in a single array while taking advantage of symetries.