Equity Scenario
These are some of the implemented fairness tiles for the scenario:
| Index | Tile or Pipeline | Class |
|---|---|---|
| 1 | all-agent (a) | AllAgentTile |
| 2 | (a) accumulates (m) | AccumulatesTile |
| 3 | (a) needs (m) | NeedsTile |
| 4 | (m) all-at-least b | AllAtLeastTile |
| 5 | composite (1 + 2) | AllAgentAccumulatesTile |
| 6 | composite (1 + 3) | AllAgentNeedsTile |
| 7 | pipeline (5 + 6 + 4) | EquityPipeline |
Equity can also be modeled as:
| Index | Tile or Pipeline | Class |
|---|---|---|
| 1 | all-agent (a) | AllAgentTile |
| 2 | (a) accumulates (m) | AccumulatesTile |
| 3 | (a) needs (m) | NeedsTile |
| 4 | (α),(β) zip (⟨α, β⟩) | ZipTile |
| 5 | (α) forall φ b | ForallTile |
| 6 | composite (1 + 2) | |
| 7 | composite (1 + 3) | |
| 8 | composite (4 + 5) | |
| 9 | pipeline (6 + 7 + 8) |