Создание областей, отображений и элементов
@New_Область1 - это @Область2
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
Новый термин, терм класса
var(ex("new",[])), var(ex("ob",[]))
Комментарий:
Новая Область1 делается подобластью Области2.
Имя операции:
make_subobject
»
- Login to post comments
@элементы - элементы области @область
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
список терминов и термов, терм класса (области). Новые термины из нескольких слов заключаются в кавычки.
Комментарий:
Шаблон для создания новых элементов области.
Имя операции:
make_elements
»
- Login to post comments
@новый_элемент - элемент области @область
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
Новый термин, выражение, задающее класс (область).
Комментарий:
Создается новый элемент области.
Имя операции:
make_element
»
- Login to post comments
@выражение - @область
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
терм; выражение, задающее класс (область)
ex("term",[]); ex("ob",[])
Комментарий:
Выражение делается элементом области.
Имя операции:
make_element
»
- Login to post comments
@NewF: @X -> @Y
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
новый термин, область, область
ex("new",[]), ex("ob",[]), ex("ob",[])
Комментарий:
Строится новое отображение F из X в Y.
Имя операции:
mk_mor
»
- Login to post comments
