hasDefiniteSize

FiniteDiscreteDomain