Testfälle search

Jan Burse, erstellt 19. Aug 2019

1 Prädikat 'indomain finite'/1

2 Prädikat 'indomain infinite'/1

3 Prädikat 'label finite'/1

4 Prädikat 'label infinite'/1

5 Prädikat random_indomain/1

6 Prädikat random_label/1

7 Prädikat label_maximum/2

Kommentare