Команды

@tepm1 = @term2

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

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

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

терм, терм
var(ex("term",[])), var(ex("term",[]))

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

Полагаются равными два выражения.

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

make_equal

Приравнять @От1 к @От2

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

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

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

терм, терм
var(ex("term",[])), var(ex("term",[]))

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

Полагаются равными два выражения. Синоним шаблона "@term1=@term2".

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

make_equal

@Выраж1_mor не равно @Выраж2_mor

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

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

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

терм функции, терм функции
var(ex("mor",[])), var(ex("mor",[]))

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

Выражения полагаются неравными.

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

not_equal

@Выраж1_ob не равно @Выраж2_ob

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

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

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

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

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

Выражения полагаются неравными.

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

not_equal

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

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

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

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

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

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

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

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

make_subobject

RSS-материал