Expand description
Unified instance enum (attributed C-set). Unified instance representation (attributed C-set).
Instance is the unified enum wrapping all instance shapes:
WInstance: tree-shaped (W-type)FInstance: relational (functor)GInstance: graph-shaped (most general)
All three are attributed C-sets over different shape categories. The unified type enables generic code that operates on any instance shape without knowing the concrete representation.
Enumsยง
- Instance
- A unified instance wrapping all instance shapes.