Команды
@Выраж1_ob не равно @Выраж2_ob
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
терм класса, терм класса
var(ex("ob",[])), var(ex("ob",[]))
Комментарий:
Выражения полагаются неравными.
Имя операции:
not_equal
»
- Login to post comments
@A - подобласть области @B
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
терм класса, терм класса
var(ex("ob",[])), var(ex("ob",[]))
Комментарий:
Область A делается подобластью в B.
Имя операции:
make_subobject
»
- Login to post comments
@Область1 < @Область2
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
область, область
var(ex("ob",[])), var(ex("ob",[]))
Комментарий:
Область1 делается подобластью Области2.
Имя операции:
make_subobject
»
- Login to post comments
Введем шаблон "@текст_шаблона"
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
new , new , new , new , new , new , new
Комментарий:
Шаблон для определения нового шаблона:
Введем шаблон "@текст_шаблона"
с переменными:
"@список_переменных"
Имя операции:
new_in_template
»
- Login to post comments
@Область1 - это @Область2
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
терм класса, терм класса
var(ex("ob",[])), var(ex("ob",[]))
Комментарий:
Область1 делается подобластью Области2.
Имя операции:
make_subobject
»
- Login to post comments
