9 User-Defined Distributors

In this section we show how the user can program his or her own distributors.

• 9.1 A Naive Distribution Strategy

• 9.2 A Domain-Splitting Distributor