Содержание

5.2.2. Оператор ASSUME

operator-ASSUME

FOR domain { ; domain }* ASSUME relation { ; relation }*

relation :

name-variable-on-domain = arithm-expression

call-part

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

Случай вызова раздела в теле оператора ASSUME описан в п. 5.2.4.

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

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

где

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

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

1. определяются все точки ;
2. для каждой точки требуется вычислить значение величины из левой части в точке ;
3. для каждой точки вычисляются значения индексных выражений всех величин , входящих в правую часть соотношения, и определяется множество аргументов правой части
4. (4) если в некоторый момент времени для точки все аргументы из X вычислены, то возможно вычисление значения величины из левой части, если не все аргументы определены, то вычисление в данной точке в данный момент невозможно (это не означает, что оно вообще невозможно).

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

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

Matrix: ( (I=1..5) ; (j=1..5) ).

VARIABLE DEFINED ON Matrix.

то оператор

FOR Matrix ASSUME X =0.

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

После ключевого слова FOR в операторе ASSUME могут быть указаны несколько областей, что позволяет сократить запись в случае вычисления одних и тех же формул на различных областях, например:

Этот оператор эквивалентен последовательности операторов

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

Ограничение на вид индексов левой части соотношения (это индексы без смещений) не является принципиальным, так как область D из заголовка оператора позволяет описывать достаточно сложные соотношения. Пусть необходимо описать вычисление вида

Это можно сделать следующим образом:

Как указано выше, в скалярное арифметическое выражение и в арифметическое выражение могут входить функции.

Содержание