Cat::UseOverloading --
helper category for domains using the conversion/overloading mechanism
IntroductionCat::UseOverloading is a helper category for domains using the conversion
and overloading mechanisms of operators::overloaded.
Generating the category
Cat::UseOverloading()
Cat::BaseCategory
DetailsCat::UseOverloading is a purely technical category built above
Cat::BaseCategory which provides some basic support for
those domains that uses the conversion and overloading mechanisms
of the library operators::overloaded."new" and the methods
"convert" and convert_to to use
operators::overloaded::convert."initDomain" method which allows super
domains and super categories to provide initialization code
(recall that the "initDomain" method is a special method
which is called automatically once by the system just after the
creation of the domain). This is typically used for declaring new
conversions and new signatures for overloaded operators.
initDomain()"initDomainAdd" methods in the domain itself, in
all its super domains (as listed by "allSuperDomains"), and
in all its categories (as listed by "allCategories"), and
executes them one-by-one starting from the last one.
initDomainAdd()
Cat::UseOverloading is a new category
MuPAD Combinat, an open source algebraic combinatorics package