Deklarationen

SantaClaus.m2

CONST ndigits = 4; (* es wird davon ausgegangen, dass Ortsnummern und Distanzen nicht mehr Ziffern benoetigen, wenn doch, dann wuerde die Schoenheit der Ausgabe darunter leiden *) maxlocations = 32; (* soviele Orte werden maximal unterstuetzt *) TYPE Location = [0..maxlocations-1]; LocationIndex = [0..maxlocations]; Distance = CARDINAL; DistanceMatrix = ARRAY Location, Location OF Distance; VAR distances: DistanceMatrix; noflocations: LocationIndex;

Die wesentlichen Parameter sollten nach Möglichkeit zu Beginn als Konstanten definiert werden. Wichtig ist hier insbesondere maxlocations, das die Zahl der maximal unterstützten Orte angibt.

Bei ganzzahligen Datentypen empfiehlt es sich immer -- soweit möglich -- genaue Bereiche anzugeben. Dann führen Programmierfehler eher zu sehr präzisen Fehlermeldungen (entweder durch den Compiler oder zur Laufzeit).

In distances wird die Wegematrix abgelegt, noflocations gibt die Größe der Matrix an, die der Zahl der zu besuchenden Orte entspricht.

	Die wesentlichen Parameter sollten nach Möglichkeit zu Beginn als Konstanten definiert werden. Wichtig ist hier insbesondere `maxlocations`, das die Zahl der maximal unterstützten Orte angibt.
	Bei ganzzahligen Datentypen empfiehlt es sich immer -- soweit möglich -- genaue Bereiche anzugeben. Dann führen Programmierfehler eher zu sehr präzisen Fehlermeldungen (entweder durch den Compiler oder zur Laufzeit).
	In `distances` wird die Wegematrix abgelegt, `noflocations` gibt die Größe der Matrix an, die der Zahl der zu besuchenden Orte entspricht.