Создание областей, отображений и элементов

Ввести области @ob_list

Тип результата: 

Команда.
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

Список новых имен областей, отделенных запятыми.
var(ex("list",[]))

Комментарий: 

Вводятся несколько областей (классов).

Имя операции: 

objects

@Имя - область

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

Новый термин. Термин, состоящий из нескольких слов, должен быть заключен в кавычки или в квадратные скобки.

Комментарий: 

Вводится область (новые области из нескольких слов должны записываться в кавычках).

Имя операции: 

object

@Список_имен - области

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

список новых терминов, отделенных запятыми
var(ex("list",[]))

Комментарий: 

Вводятся несколько новых областей (классов) с указанными именами.

Имя операции: 

objects

@Имя - отображение

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

Новый термин.
Термин, состоящий из нескольких слов, должен быть заключен в кавычки или в квадратные скобки.

Комментарий: 

Вводится новое отображение с указанным именем.

Имя операции: 

morphism

@Список_имен - отображения

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

var(ex("list",[])),w("-"),w("отображения")

Комментарий: 

Вводятся несколько новых отображений с указанными именами.

Имя операции: 

morphisms

@A - подобласть области @B

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

терм класса, терм класса
var(ex("ob",[])), var(ex("ob",[]))

Комментарий: 

Область A делается подобластью в B.

Имя операции: 

make_subobject

@Область1 < @Область2

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

область, область
var(ex("ob",[])), var(ex("ob",[]))

Комментарий: 

Область1 делается подобластью Области2.

Имя операции: 

make_subobject

@Область1 - это @Область2

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

терм класса, терм класса
var(ex("ob",[])), var(ex("ob",[]))

Комментарий: 

Область1 делается подобластью Области2.

Имя операции: 

make_subobject

@A_new - подобласть области @B

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

новый термин, терм класса
var(ex("new",[])), var(ex("ob",[]))

Комментарий: 

Создается новый класс A, как подкласс класса B.

Имя операции: 

make_subobject

@New_Область1 < @Область2

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

Новое имя (строка в кавычках или в квадратных скобках), выражение, задающее класс
ex("new",[]), ex("ob",[]

Комментарий: 

Новая Область1 делается подобластью Области2.

Имя операции: 

make_subobject

RSS-материал