Registry

Canonical finite enumerations and derived queries for the Transformation theory.

The lists enumerate the finite vocabulary. Family and kind membership are derived from the authoritative mappings in SE.Transformation.Domain.Operator.Semantics; no per-family or per-kind operator lists are maintained independently.

def SE.Transformation.referenceOperators : List OperatorCode

All operator codes in canonical reference order.

Equations

• One or more equations did not get rendered due to their size.

def SE.Transformation.referenceFamilies : List TransformationFamily

All transformation families in canonical reference order.

Equations

• One or more equations did not get rendered due to their size.

def SE.Transformation.referenceKinds : List TransformationKind

All transformation kinds in canonical reference order.

Equations

• One or more equations did not get rendered due to their size.

def SE.Transformation.operatorsInFamily (family : TransformationFamily) : List OperatorCode

Return the canonical operators whose authoritative family is family.

Equations

• One or more equations did not get rendered due to their size.

def SE.Transformation.operatorsInKind (kind : TransformationKind) : List OperatorCode

Return the canonical operators whose derived transformation kind is kind.

Equations

• SE.Transformation.operatorsInKind kind = List.filter (fun (op : SE.Transformation.OperatorCode) => decide (SE.Transformation.operatorKind op = kind)) SE.Transformation.referenceOperators

def SE.Transformation.familiesInKind (kind : TransformationKind) : List TransformationFamily

Return the canonical families whose authoritative transformation kind is kind.

Equations

• One or more equations did not get rendered due to their size.