Создание областей, отображений и элементов
@A - подобласть области @B
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
терм класса, терм класса
var(ex("ob",[])), var(ex("ob",[]))
Область A делается подобластью в B.
make_subobject
@Область1 < @Область2
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
область, область
var(ex("ob",[])), var(ex("ob",[]))
Область1 делается подобластью Области2.
make_subobject
@Область1 - это @Область2
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
терм класса, терм класса
var(ex("ob",[])), var(ex("ob",[]))
Область1 делается подобластью Области2.
make_subobject
@A_new - подобласть области @B
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
новый термин, терм класса
var(ex("new",[])), var(ex("ob",[]))
Создается новый класс A, как подкласс класса B.
make_subobject
@New_Область1 < @Область2
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
Новое имя (строка в кавычках или в квадратных скобках), выражение, задающее класс
ex("new",[]), ex("ob",[]
Новая Область1 делается подобластью Области2.
make_subobject
@New_Область1 - это @Область2
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
Новый термин, терм класса
var(ex("new",[])), var(ex("ob",[]))
Новая Область1 делается подобластью Области2.
make_subobject
@элементы - элементы области @область
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
список терминов и термов, терм класса (области). Новые термины из нескольких слов заключаются в кавычки.
Шаблон для создания новых элементов области.
make_elements
@новый_элемент - элемент области @область
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
Новый термин, выражение, задающее класс (область).
Создается новый элемент области.
make_element
@выражение - @область
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
терм; выражение, задающее класс (область)
ex("term",[]); ex("ob",[])
Выражение делается элементом области.
make_element
@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
