Merges this taxonomy with other
and return a new taxonomy, containing the entries of both.
Merges this taxonomy with other
and return a new taxonomy, containing the entries of both.
The finite map representation of this taxonomy
Looks up a constructor name in this taxonomy, returning all directly related constructor names.
Looks up a constructor name in this taxonomy, returning all directly related constructor names.
(Since version ) see corresponding Javadoc for more information.
Taxonomies are relations between constructor names. For a taxonomy t we have
'C <= 'D
if"D"
is int("C")
. Subtyping will arange the transitive reflexive closure of taxonomies.