`equal(``x`

, `y`

)

If this domain has the axiom `Ax::canonicalRep`

, which implies that two
domain elements are mathematically equal if and only if they are structurally
equal, the kernel function `_equal`

is
used to decide the equality. In this case `UNKNOWN`

is
never returned.

If the axiom `Ax::canonicalRep`

does
not hold the method will return `TRUE`

if `x`

and `y`

are
structurally equal (in the sense of the function `_equal`

) and `UNKNOWN`

otherwise.

`convert_to(``x`

, `T`

)

The implementation provided here can convert `x`

to
an element of this domain (the trivial case) or to an element of `Dom::Expression`

(by using
the method `"expr"`

, see `Cat::BaseCategory`

).

`TeX(``x`

)

The default implementation provided here converts `x`

into
an expression using the method `"expr"`

and then
uses the function `generate::TeX`

to
convert the expression.

`allSuperDomains()`

The last, most general, super-domain of all domains of the Dom package
is `Dom::BaseDomain`

.

`hasProp(``d`

)

`hasProp(``dc`

)

`hasProp(``a`

)

`hasProp(``ac`

)

`hasProp(``c`

)

`hasProp(``cc`

)

`hasProp(dc)`

tests if this domain or a super-domain
of it was defined by the domain constructor `dc`

.

`hasProp(a)`

tests if this domain has the axiom `a`

.

`hasProp(ac)`

tests if an axiom of this domain
was defined by the axiom constructor `ac`

.

`hasProp(c)`

tests if this domain has the category `c`

.

`hasProp(cc)`

tests if a category of this domain
was defined by the category constructor `cc`

.

`info()`

It prints out the super-domains, categories, axioms and entry
names of this domain.

If an entry `"info_str"`

, which must be a string,
is defined for this domain it is used to print the header line.

`printMethods(<``sort`

>, <Table>)

`printMethods(<``sort`

>, Tree)

If no sorting function is given, `sort`

is used as default.

Similar as above, using `Tree`

provides only
that the names of the entries are inserted into a tree, an element
of the domain `adt::Tree`

.
The tree is both printed out and returned by the method.

Using neither `Table`

nor `Tree`

the
function does the same as `dom::printMethods(sort, Table)`

.

`subs(``x`

, `, …`

)

Sub-domains should provide a new implementation of this method
with sensible semantics if possible.

`subsex(``x`

, `, …`

)

Sub-domains should provide a new implementation of this method
with sensible semantics if possible.

`undefinedEntries()`

An entry is missing if it should have a definition according
to a category of the domain, but the definition is not present.

`whichEntry(``e`

)

`FAIL`

is returned if no entry with the given
name is defined for this domain.