Cat::HomogeneousFiniteCollection
-- the category of homogeneous finite collections
Introduction
represents the category of homogeneous finite collections (i.e. bags)
of elements of the domain Cat::HomogeneousFiniteCollection(T)T.
Generating
the categoryCat::HomogeneousFiniteCollection(T)
ParametersT |
- | A domain which must be from the category Cat::BaseCategory. Only
elements of this domain may be contained in the collection. |
Cat::FiniteCollection
,
DetailsCat::HomogeneousFiniteCollection is a finite
collection where each element of the collection must be from the same
domain T.The parameter domain T.
_less(dom x, dom
y)T is an ordered
set.TRUE if
x is less than y.x and y are ordered by
the lexical ordering of their elements.Cat::HomogeneousFiniteCollectionCat.