Cat::UseOverloading
--
helper category for domains using the conversion/overloading mechanism
Cat::UseOverloading
is a helper category for domains using the conversion
and overloading mechanisms of operators::overloaded
.
Cat::UseOverloading()
Cat::BaseCategory
Cat::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