equal(x, y)

Если эта область имеет аксиому Ax::canonicalRep, который подразумевает, что два доменных элемента математически равны, если и только если они структурно равны, функция ядра, _equal используется, чтобы решить равенство. В этом случае никогда не возвращается UNKNOWN.

Если аксиома, Ax::canonicalRep не содержит метод, возвратит TRUE, если x и y будут структурно равны (в смысле функционального _equal) и UNKNOWN в противном случае.

convert_to(x, T)

Реализация, обеспеченная здесь, может преобразовать x в элемент этой области (тривиальный случай) или к элементу Dom::Expression (при помощи метода "expr", смотрите Cat::BaseCategory).

allAxioms()

allCategories()

allEntries()

allSuperDomains()

Последнее, самое общее, суперобластью всех областей пакета Dom является Dom::BaseDomain.

getAxioms()

getCategories()

getSuperDomain()

hasProp(d)

hasProp(dc)

hasProp(a)

hasProp(ac)

hasProp(c)

hasProp(cc)

hasProp(dc) тестирует, если эта область или суперобласть ее были заданы доменным конструктором dc.

hasProp(a) тестирует, если эта область имеет аксиому a.

hasProp(ac) тестирует, если аксиома этой области была задана конструктором аксиомы ac.

hasProp(c) тестирует, если эта область имеет категорию c.

hasProp(cc) тестирует, если категория этой области была задана конструктором категории cc.

info()

Это распечатывает суперобласти, категории, аксиомы и имена записи этой области.

Если запись "info_str", который должен быть строкой, задана для этой области, это используется, чтобы распечатать строку заголовка.

printMethods(<sort>, <Table>)

printMethods(<sort>, Tree)

Если никакая функция сортировки не дана, sort используется в качестве значения по умолчанию.

Подобный как выше, с помощью Tree обеспечивает только, что имена записей вставляются в дерево, элемент доменного adt::Tree. Дерево и распечатано и возвращено методом.

Ни Используя Table, ни Используя Tree функция делает то же самое как dom::printMethods(sort, Table).

subs(x, , …)

Субдомены должны предоставить новой реализации этого метода с разумной семантикой, если это возможно.

subsex(x, , …)

Субдомены должны предоставить новой реализации этого метода с разумной семантикой, если это возможно.

undefinedEntries()

Запись отсутствует, если она должна иметь определение согласно категории области, но определение не присутствует.

whichEntry(e)

FAIL возвращен, если никакая запись с именем не задана для этой области.