Skip to main content

Module core

Module core 

Source
Expand description

Core unary and binary relation types. Core relation types and algorithms.

Structsยง

BinaryRelation
Finite binary relation type. A finite binary relation.
UnaryRelation
Finite unary relation type. A finite unary relation.