EquivalenceLevel#
This page is generated from the code and must not be edited by hand.
A named equivalence relation that rules and projections may evaluate at.
Levels are how the engine has graphs within graphs. Collapsing each class of an equivalence relation into one node yields a faithful summary, and the zoom levels of the interface are a stack of such quotients under successively coarser relations.
Levels are declared, not built as separate node types populated by separate passes. One node population plus a set of named relations, materialised on demand, kills a whole class of bug where an entity is attributed to one group at one level and a different one at another.
Fields#
Field |
Type |
Required |
If left out |
|---|---|---|---|
|
whole number or null |
no |
|
|
text |
yes |
|
|
yes or no |
no |
|
|
whole number |
no |
|
|
text |
yes |
|
|
text |
no |
|
|
text |
yes |
|
|
text |
no |
|