Translation of "Indexmenge" in English
Im
Gegensatz
zu
C++-Arrays
dürfen
LEDA-Arrays
jedes
beliebige
ganzzahlige
Intervall
als
Indexmenge
haben.
Unlike
C++
arrays,
LEDA
arrays
may
have
any
arbitrary
integral
interval
as
index
set.
ParaCrawl v7.1
Das
Umschreibungsverfahren
sucht
auch
nach
indizierten
Termen
s
i,
wobei
i
ein
Element
einer
Indexmenge
I
ist,
in
einer
Aussage
P
(s
i)
und
ruft
das
Gleichungsverfahren
auf,
eine
Gleichung
der
Form
EPMATHMARKEREP
zu
beweisen,
wobei
t
i
eine
indizierte
Familie
von
Termen
ist,
die
konstruiert
werden
soll.
The
paraphrase
procedure
also
searches
for
indexed
terms
s
i,
where
i
is
an
element
of
an
indexed
set
I,
in
a
proposition
P(s
i)
and
calls
the
equation
procedure
to
prove
an
equation
of
the
form
?
i
(i?I?s
i
=t
i),
(2)
where
t
i
is
an
indexed
family
of
sets
to
be
constructed.
EuroPat v2
Das
Ergebnis
dieser
Berechnungen
sind
die
Kandidatenschaltsequenzen
U
i
(k)=[u
i
(k),...,u
i
(k+n
i
-1)]
mit
variabler
Länge,
wobei
i
aus
I
ist
und
I
eine
Indexmenge
ist.
The
result
of
these
calculations
are
the
candidate
switching
sequences
U
i
(k)=[u
i
(k),
.
.
.,
u
i
(k+n
i
?1)]
with
a
variable
length,
where
i
is
from
l
and
l
is
an
index
set.
EuroPat v2
Ist
die
Indexmenge
I
{\displaystyle
\textstyle
I}
endlich,
so
sind
direkte
Summe
und
direktes
Produkt
identisch.
If
the
index
set
I
is
finite,
then
the
direct
sum
and
the
direct
product
are
equal.
WikiMatrix v1
Die
Indexmenge
kann
dann
wie
in
Abbildung
2.5
als
Rechteck
von
ganzzahligen
Koordinaten
der
Ebene
veranschaulicht
werden.
The
index
set
then
can
be
illustrated
as
in
Figure
2.5
as
a
rectangle
of
integer
coordinates
of
the
plane.
ParaCrawl v7.1
Während
in
C
und
C++
Arrays
immer
beim
Index
0
beginnen
und
ihre
Größe
sich
nicht
ohne
Weiteres
zur
Laufzeit
verändern
lässt,
können
LEDA-Arrays
jedes
beliebige
Intervall
als
Indexmenge
haben,
und
ihre
Größe
kann
zur
Laufzeit
an
den
gerade
benötigten
Platzbedarf
angepasst
werden.
Whereas
arrays
always
start
with
the
index
0
in
C
and
C++
and
their
size
cannot
be
changed
at
runtime
without
further
effort,
LEDA
arrays
can
have
any
arbitrary
interval
as
index
set
and
their
size
can
be
adjusted
at
runtime
to
the
actual
space
requirements.
ParaCrawl v7.1
Während
sich
ein
gewöhnliches
Array
längs
des
Zahlenstrahles
in
eine
Richtung
erstreckt,
erstreckt
sich
ein
solches
Array
von
Arrays
in
zwei
Richtungen,
je
eine
Richtung
pro
Indexmenge.
Whereas
an
ordinary
array
extends
only
in
one
direction
along
the
real
axis,
such
an
array
of
arrays
extends
in
two
directions,
one
direction
per
index
set.
ParaCrawl v7.1
Für
diesen
Fall,
dass
die
Indexmenge
ein
Rechteck
von
ganzzahligen
Koordinaten
ist,
bietet
LEDA
den
Typ
array2
an.
For
this
case,
namely
that
the
index
set
is
a
rectangle
of
integer
coordinates,
LEDA
offers
the
type
array2.
ParaCrawl v7.1