Summary:
Detail:
AbstractDomain<A,C>
CardinalityDomain
TruthValueDomain
Class<?>
abstractType()
concreteType()