Generate a list of unique numbers

This is the way I've been told:

channels : list of byte;
keep channels in all_values(byte[0..255]);
keep channels.size() == 10;

/Ed

I expect this will also work:

keep for each in my_list {
index > 0 => it not in my_list[0..(index-1)];
};


Regards,
Dean

Dean,

That one is good for small values of N.

Above the 'Y should be "[ 0".

/Ed

Thanks for clarifying Ed. Sounds like you've been down this road before :-)

BTW the [0 / 'Y thing happened with your post as well; apparently we need to use delimiters to prevent that.

So for correctness your solution is:

<code>
channels : list of byte;
keep channels in all_values(byte[0..255]);
keep channels.size() == 10;
</code>

Regards,
Dean

Thanks for clarifying, Ed. Sounds like you've been down this road before :-) BTW the 'Y problem occurred for your post as well, a note "Posting Code to the Forum" describes how to prevent this when posting code. So for correctness your solution should read: channels : list of byte; keep channels in all_values(byte[0..255]); keep channels.size() == 10; and my code (for small list sizes) should be: keep for each in my_list { index > 0 => it not in my_list[0..(index-1)]; }; Regards, Dean

Here's anther idea..

lb: list of byte;
keep lb.is_a_permutation(all_values(byte[0..9]));


Yaron