loop

loop{from:int, size:int, to:int, seq:int}

A relation generator. Yields a sequence of seqs depending on the arguments given.

If size is provided it is used to select the length of the sequence.

If from is provided it is used to select the staring seq otherwise 0 is used.

If to is provided it is used to select the ending seq.

Examples

size

loop(size:=3)

from
to
seq

0
2
0
0
2
1
0
2
2

from and size

loop(size:=3, from:=10)

to
seq

12
10
12
11
12
12

from and to

loop(from:=1, to:=3)

size
seq

3
1
3
2
3
3

to and size

loop(size:=3, to:=4)

from
seq

2
2
2
3
2
4

to

loop(to:=2)

from
size
seq

0
3
0
0
3
1
0
3
2

nested loop

loop(size:=3){i:=seq} * loop(size:=3){j:=seq}

i
j

0
0
0
1
0
2
1
0
1
1
1
2
2
0
2
1
2
2