Class DirectedCombinableDomains