Equality 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 | (m) all-equal b | AllEqualTile |
4 | composite (1 + 2 + 3) | EqualityPipeline |
Equality can also be modeled as:
Index | Tile or Pipeline | Class |
---|---|---|
1 | all-agent (a) | AllAgentTile |
2 | (a) accumulates (m) | AccumulatesTile |
3 | (m) distinct (m) | DistinctTile |
4 | (α) length m | LengthTile |
5 | α apply β | ApplyTile |
6 | composite (1 + 2 + 3 + 4 + 5) |