Spec. af LottotalsGenerator interface LottoTal{ // S: mgd. af udtrukne tal // min, max: int - angiver intervallet (incl.) void set(int min, int max); //PRE min<=max //POST S’=Ø boolean isMore(); //PRE none //POST returnerer: S != [min;max] int generate(); //PRE isMore() //POST returnerer tilfældigt x, som opfylder: // (min<=x<=max && x S) && S’=S [x] }
Mulige implementationer: Bitvektor Repræsentationsinvariant: –min og max er int som angiver intervallet –count tæller, hvor mange gange der er trukket –a: boolean array [min..max] a[x] = true, hvis x er trukket ellers false
Kædet liste Repræsentationsinvariant: –min og max er int som angiver intervallet –count angiver listens længde, dvs. antal gange der trukket –Listen indeholder de værdier, som er trukket –l er en reference (pointer) til listens head Andre implementeringer af S kunne overvejes.