Envy-Freeness Scenario
These are some of the implemented fairness tiles for the scenario:
| Index | Tile or Pipeline | Class |
|---|---|---|
| 1 | all-agent (a) | AllAgentTile |
| 2 | all-resource (r) | AllResourceTile |
| 3 | (α),(β) cross (⟨α, β⟩) | CrossTile |
| 4 | (α) filter ϕ (α) | FilterTile |
| 5 | (α) map ϕ (β) | MapTile |
| 6 | (α) exists ϕ b | ExistsTile |
| 7 | composite (3 + 4 + 5) | CrossFilterMapTile |
| 8 | composite (3 + 4) | CrossFilterTile |
| 9 | composite (3 + 6) | CrossExistsTile |
| 10 | pipeline (7 + 8 + 9) | EnvyFreenessPipeline |