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 возвращен, если никакая запись с именем не задана для этой области.