Булевы выражения
@expr_real < @expr_real
Submitted by admin on сб, 2007-04-21 20:00.Boolean
ex("boolean",[])
арифметическое выражение, арифметическое выражение
ex("expr_real",[]), ex("expr_real",[])
Шаблон проверки условия: левое выражение меньше правого.
@expr_real > @expr_real
Submitted by admin on сб, 2007-04-21 20:00.Boolean
ex("boolean",[])
арифметическое выражение, арифметическое выражение
ex("expr_real",[]), ex("expr_real",[])
Шаблон проверки условия: левое выражение больше правого.
>
@A == @B
Submitted by admin on сб, 2007-04-21 20:00.boolean
ex("boolean",[])
терм, терм
ex("term",[]), ex("term",[])
Проверка равенства выражений.
is_eq_expr
Равны ли @A и @B
Submitted by admin on сб, 2007-04-21 20:00.boolean
ex("boolean",[])
терм, терм
ex("term",[]), ex("term",[])
Проверяется равенство выражений.
is_eq_expr
@A - подобласть @B
Submitted by admin on сб, 2007-04-21 20:00.boolean
ex("boolean",[])
область, область
ex("ob",[]), ex("ob",[]))
Проверяется является ли A подобластью в B.
is_subobject
@Область2 < @Область1
Submitted by admin on сб, 2007-04-21 20:00.boolean
ex("boolean",[])
область, область
ex("ob",[]), ex("ob",[])
Проверяется является ли Область2 подобластью Область1.
is_subobject
@Выражение элемент @Области
Submitted by admin on сб, 2007-04-21 20:00.boolean
ex("boolean",[])
терм, область
ex("term",[]) ex("ob",[])
Проверяет, является ли выражение элементом области.
is_element
@Эл - @Обл
Submitted by admin on сб, 2007-04-21 20:00.boolean
ex("boolean",[])
терм, область
ex("term",[]), ex("ob",[])
Проверяет, является ли выражение элементом области
is_element
