Оператор ASSUME

Оператор ASSUME используется для вычисления арифметических значений величин, определенных на областях.

Термами арифметического выражения в правой части соотношения могут быть величины, определенные на области, скаляры, арифметические константы, параметры области, обращения к функциям, индексы.

Семантика оператора ASSUME определяется следующим образом. Рассмотрим соотношение, записанное в виде

где

- область оператора ASSUME
- индексы области D
- имена величин, определенных на области
- индексные выражения левой части
- индексные выражения правой части
- функция, вычисляемая в правой части
- другие термы правой части.

 

Каждое соотношение задает правило F вычисления значений величины

из левой части по значениям величин

и термов Other из правой части:

определяются все точки

для каждой точки

требуется вычислить значение величины

из левой части в точке

для каждой точки

вычисляются значения индексных выражений

всех величин

входящих в правую часть соотношения, и определяется множество аргументов правой части

если в некоторый момент времени для точки

все аргументы из X вычислены, то возможно вычисление значения

величины из левой части, если не все аргументы определены, то вычисление в данной точке в данный момент невозможно (это не означает, что оно вообще невозможно).

Имя ASSUME, которое дано оператору, подчеркивает то обстоятельство, что он однозначно определяет правило для вычисления значений величины, но не требует немедленного выполнения вычисления в данном месте программы и не задает порядка или способа (параллельно, последовательно) вычисления.

Например, если величина описана как

Wxt: ((i=1..10);(j=1..20)).
VARIABLE u DEFINED ON Wxt.

то оператор

FOR Wxt ASSUME u=0.

является запросом на обнуление 400 элементов величины u. Способ реализации этого запроса в языке не фиксируется.

Язык Норма является языком с одним присваиванием: переприсваивание значений величинам запрещено. Поэтому если бы в примере Parabol области Wxt2 и Wxt3 были описаны как

Wx : (i=0..M).
Wt : (j=0..K).
Wxt : (Wx; Wt).
Wxt2 : ((i=0); Wt).
Wxt3 : ((i=M); Wt).

то операторы

FOR Wxt2 ASSUME u=u0.
FOR Wxt3 ASSUME u=u1.
FOR Wxt/j=0 ASSUME u=BOUND(i,M).

привели бы к переприсваиванию в точках (0,0) и (M,0).