Булевы выражения

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

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

boolean
ex("boolean",[])

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

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

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

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

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

is_subobject

@Выражение элемент @Области

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

boolean
ex("boolean",[])

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

терм, область
ex("term",[]) ex("ob",[])

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

Проверяет, является ли выражение элементом области.

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

is_element

@Эл - @Обл

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

boolean
ex("boolean",[])

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

терм, область
ex("term",[]), ex("ob",[])

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

Проверяет, является ли выражение элементом области

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

is_element

@expr_real < @expr_real

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

Boolean
ex("boolean",[])

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

арифметическое выражение, арифметическое выражение
ex("expr_real",[]), ex("expr_real",[])

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

Шаблон проверки условия: левое выражение меньше правого.

@expr_real > @expr_real

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

Boolean
ex("boolean",[])

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

арифметическое выражение, арифметическое выражение
ex("expr_real",[]), ex("expr_real",[])

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

Шаблон проверки условия: левое выражение больше правого.

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

>

@A == @B

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

boolean
ex("boolean",[])

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

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

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

Проверка равенства выражений.

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

is_eq_expr

Равны ли @A и @B

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

boolean
ex("boolean",[])

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

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

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

Проверяется равенство выражений.

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

is_eq_expr

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

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

boolean
ex("boolean",[])

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

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

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

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

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

is_subobject

RSS-материал