Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2015 / Formale Spezifikation und Verifikation / Uebungen / blatt4_beispiele.java


Inhaltsbereich

blatt4_beispiele.java

Java source code icon blatt4_beispiele.java — Java source code, 8 KB (8359 bytes)

Dateiinhalt

// Das Beispiel vom Uebungsblatt
int k1 = 4;
int[][] komparatoren1 = {{1,3},{0,2},{2,3},{0,1},{1,2}};

// Das gespiegelte Beispiel vom Uebungsblatt
int k2 = 4;
int[][] komparatoren2 = {{1,2},{0,1},{2,3},{0,2},{1,3}};

// Zwei weitere Beispiele mit 20 Leitungen
int k3 = 20;
int[][] komparatoren3 = {{2,3},{3,4},{5,6},{6,7},{9,10},{10,11},{13,14},{14,15},{15,16},{16,17},{17,18},{18,19},{0,2},{1,3},{3,5},{4,6},{6,8},{7,9},{11,13},{12,14},{13,15},{14,16},{15,17},{16,18},{0,3},{2,5},{5,8},{7,10},{8,11},{9,12},{10,13},{11,14},{12,15},{13,16},{14,17},{15,18},{2,6},{3,7},{4,8},{5,9},{6,10},{7,11},{8,12},{9,13},{10,14},{11,15},{12,16},{14,18},{15,19},{0,7},{1,8},{4,11},{5,12},{2,15},{1,5},{2,6},{4,8},{5,9},{7,11},{8,12},{11,15},{12,16},{0,12},{0,6},{1,7},{3,9},{4,10},{6,12},{10,16},{13,19},{1,4},{2,5},{3,6},{4,7},{5,8},{6,9},{7,10},{8,11},{9,12},{10,13},{11,14},{12,15},{13,16},{16,19},{0,2},{1,3},{2,4},{3,5},{4,6},{5,7},{6,8},{7,9},{8,10},{9,11},{10,12},{11,13},{12,14},{13,15},{14,16},{15,17},{16,18},{17,19},{2,3},{4,5},{5,6},{6,7},{7,8},{9,10},{10,11},{11,12},{13,14},{16,17},{0,1},{1,2},{2,3},{3,4},{4,5},{5,6},{6,7},{8,9},{9,10},{10,11},{12,13},{14,15},{15,16},{17,18},{18,19}};


int k4 = 20;
int[][] komparatoren4 = {{17,18},{16,17},{14,15},{13,14},{8,9},{6,7},{2,3},{0,7},{1,8},{4,11},{6,13},{9,16},{12,19},{0,2},{1,3},{3,5},{5,7},{7,9},{8,10},{11,13},{12,14},{13,15},{14,16},{15,17},{17,19},{1,17},{2,18},{0,8},{3,11},{4,12},{6,14},{9,17},{2,6},{3,7},{4,8},{8,12},{9,13},{10,14},{11,15},{12,16},{14,18},{12,19},{10,17},{9,16},{5,12},{1,8},{0,7},{1,3},{4,6},{9,11},{12,14},{13,15},{14,16},{16,18},{17,19},{1,6},{2,7},{3,8},{4,9},{6,11},{7,12},{8,13},{10,15},{11,16},{12,17},{14,19},{0,8},{3,11},{5,13},{8,16},{0,3},{1,4},{2,5},{4,7},{5,8},{6,9},{7,10},{8,11},{9,12},{10,13},{11,14},{13,16},{14,17},{15,18},{0,6},{3,9},{2,6},{3,7},{5,9},{6,10},{8,12},{10,14},{18,19},{16,17},{15,16},{14,15},{13,14},{12,13},{11,12},{10,11},{9,10},{8,9},{7,8},{6,7},{5,6},{4,5},{3,4},{2,3},{1,2},{0,1},{1,2},{2,3},{3,4},{4,5},{5,6},{6,7},{7,8},{8,9},{9,10},{10,11},{11,12},{12,13},{13,14},{14,15},{15,16},{16,17},{17,18}};

// Zwei weitere Beispiele mit 40 Leitungen
int k5 = 40;
int[][] komparatoren5 = {{38,39},{28,29},{24,25},{21,22},{20,21},{19,20},{17,18},{15,16},{14,15},{13,14},{8,9},{0,1},{0,30},{1,31},{3,33},{4,34},{6,36},{8,38},{9,39},{1,2},{3,4},{4,5},{5,6},{7,8},{10,11},{11,12},{16,17},{21,22},{22,23},{26,27},{27,28},{28,29},{29,30},{31,32},{33,34},{34,35},{36,37},{37,38},{38,39},{36,38},{34,36},{32,34},{30,32},{28,30},{25,27},{24,26},{22,24},{20,22},{15,17},{12,14},{9,11},{6,8},{5,7},{0,25},{1,26},{2,27},{6,31},{7,32},{8,33},{9,34},{10,35},{11,36},{1,3},{2,4},{4,6},{7,9},{8,10},{9,11},{23,25},{24,26},{25,27},{26,28},{27,29},{28,30},{32,34},{34,36},{35,37},{36,38},{37,39},{32,36},{30,34},{29,33},{22,26},{19,23},{18,22},{17,21},{16,20},{15,19},{14,18},{13,17},{10,14},{4,8},{3,7},{6,10},{7,11},{8,12},{9,13},{10,14},{11,15},{14,18},{15,19},{18,22},{23,27},{25,29},{26,30},{27,31},{31,35},{35,39},{29,37},{27,35},{24,32},{21,29},{18,26},{17,25},{15,23},{8,16},{7,15},{0,8},{1,21},{7,27},{10,30},{12,32},{14,34},{4,12},{5,13},{8,16},{13,21},{16,24},{19,27},{20,28},{22,30},{23,31},{27,35},{28,36},{29,37},{30,38},{14,30},{12,28},{10,26},{7,23},{2,18},{1,17},{15,31},{18,34},{1,4},{3,6},{5,8},{6,9},{7,10},{8,11},{12,15},{13,16},{15,18},{17,20},{20,23},{22,25},{23,26},{24,27},{25,28},{28,31},{29,32},{31,34},{32,35},{33,36},{36,39},{1,6},{2,7},{10,15},{11,16},{15,20},{17,22},{18,23},{22,27},{26,31},{27,32},{29,34},{2,9},{4,11},{6,13},{7,14},{11,18},{12,19},{14,21},{17,24},{19,26},{20,27},{21,28},{22,29},{0,9},{2,11},{3,12},{6,15},{9,18},{10,19},{15,24},{18,27},{20,29},{23,32},{28,37},{2,13},{14,25},{16,27},{18,29},{25,36},{26,37},{4,17},{7,20},{9,22},{11,24},{23,36},{12,29},{1,3},{3,5},{4,6},{6,8},{11,13},{14,16},{15,17},{16,18},{18,20},{20,22},{22,24},{23,25},{26,28},{30,32},{31,33},{32,34},{33,35},{35,37},{37,39},{1,6},{7,12},{9,14},{12,17},{16,21},{24,29},{26,31},{33,38},{0,7},{11,18},{19,26},{24,31},{29,36},{0,8},{3,11},{4,12},{7,15},{9,17},{14,22},{18,26},{21,29},{22,30},{27,35},{4,7},{5,8},{6,9},{9,12},{14,17},{16,19},{20,23},{21,24},{23,26},{24,27},{26,29},{30,33},{33,36},{35,38},{0,5},{2,7},{4,9},{5,10},{6,11},{8,13},{10,15},{14,19},{15,20},{17,22},{19,24},{21,26},{25,30},{26,31},{28,33},{30,35},{31,36},{32,37},{8,15},{13,20},{14,21},{7,16},{14,23},{17,26},{0,2},{2,4},{4,6},{5,7},{7,9},{8,10},{10,12},{12,14},{13,15},{15,17},{18,20},{20,22},{21,23},{22,24},{23,25},{24,26},{27,29},{28,30},{29,31},{30,32},{31,33},{34,36},{36,39},{34,37},{29,32},{28,31},{25,28},{23,26},{22,25},{21,24},{20,23},{19,22},{15,18},{13,16},{12,15},{11,14},{8,11},{3,6},{0,3},{4,8},{9,13},{12,16},{16,20},{17,21},{18,22},{19,23},{21,25},{23,27},{26,30},{0,1},{5,6},{6,7},{8,9},{9,10},{10,11},{11,12},{14,15},{15,16},{17,18},{18,19},{19,20},{20,21},{24,25},{25,26},{27,28},{28,29},{29,30},{30,31},{33,34},{37,38},{36,37},{34,35},{33,34},{32,33},{31,32},{28,29},{27,28},{26,27},{25,26},{22,23},{19,20},{18,19},{17,18},{16,17},{15,16},{14,15},{12,13},{11,12},{10,11},{9,10},{7,8},{4,5},{3,4},{2,3},{1,2},{2,3},{3,4},{4,5},{6,7},{8,9},{9,10},{10,11},{13,14},{14,15},{15,16},{17,18},{18,19},{19,20},{21,22},{22,23},{23,24},{24,25},{27,28},{29,30},{32,33},{33,34},{34,35},{35,36},{36,37},{37,38},{38,39}};

int k6 = 40;
int[][] komparatoren6 = {{2,3},{4,5},{5,6},{6,7},{7,8},{10,11},{13,14},{15,16},{16,17},{19,20},{23,24},{24,25},{28,29},{30,31},{31,32},{33,34},{34,35},{36,37},{37,38},{1,6},{2,7},{4,9},{6,11},{7,12},{8,13},{10,15},{11,16},{13,18},{15,20},{17,22},{19,24},{20,25},{22,27},{23,28},{25,30},{26,31},{27,32},{30,35},{31,36},{32,37},{33,38},{34,39},{0,13},{3,16},{6,19},{7,20},{8,21},{9,22},{10,23},{11,24},{12,25},{13,26},{14,27},{15,28},{16,29},{17,30},{18,31},{20,33},{21,34},{23,36},{24,37},{26,39},{0,17},{1,18},{3,20},{4,21},{6,23},{7,24},{9,26},{11,28},{14,31},{15,32},{16,33},{17,34},{18,35},{19,36},{20,37},{21,38},{22,39},{18,39},{17,38},{12,33},{11,32},{6,27},{4,25},{2,23},{1,22},{0,21},{3,26},{5,28},{11,34},{1,28},{5,32},{2,4},{3,5},{4,6},{6,8},{7,9},{8,10},{9,11},{10,12},{12,14},{14,16},{15,17},{17,19},{18,20},{19,21},{20,22},{22,24},{23,25},{25,27},{28,30},{29,31},{31,33},{32,34},{36,38},{37,39},{0,4},{3,7},{4,8},{5,9},{6,10},{8,12},{11,15},{13,17},{14,18},{15,19},{16,20},{17,21},{18,22},{19,23},{21,25},{22,26},{23,27},{24,28},{25,29},{26,30},{28,32},{30,34},{31,35},{32,36},{34,38},{35,39},{1,8},{2,9},{3,10},{6,13},{7,14},{8,15},{9,16},{10,17},{11,18},{12,19},{14,21},{15,22},{16,23},{17,24},{21,28},{22,29},{23,30},{24,31},{25,32},{29,36},{30,37},{26,35},{20,29},{18,27},{17,26},{16,25},{15,24},{13,22},{12,21},{10,19},{9,18},{5,14},{4,13},{3,12},{2,11},{0,9},{0,11},{1,12},{10,21},{13,24},{14,25},{17,28},{20,31},{21,32},{23,34},{26,37},{8,23},{9,24},{13,28},{16,31},{19,34},{20,35},{7,21},{11,25},{12,26},{5,17},{6,18},{8,20},{20,32},{27,39},{28,35},{27,34},{23,30},{20,27},{19,26},{18,25},{16,23},{14,21},{13,20},{10,17},{9,16},{8,15},{4,11},{3,10},{1,8},{0,6},{1,7},{2,8},{7,13},{8,14},{9,15},{10,16},{11,17},{12,18},{13,19},{14,20},{15,21},{16,22},{17,23},{18,24},{19,25},{20,26},{22,28},{23,29},{24,30},{25,31},{26,32},{27,33},{29,35},{30,36},{31,37},{1,4},{2,5},{3,6},{4,7},{5,8},{6,9},{7,10},{8,11},{9,12},{10,13},{11,14},{12,15},{13,16},{14,17},{15,18},{16,19},{17,20},{18,21},{19,22},{20,23},{21,24},{22,25},{23,26},{24,27},{25,28},{26,29},{27,30},{28,31},{29,32},{30,33},{31,34},{32,35},{33,36},{34,37},{36,39},{37,39},{36,38},{34,36},{32,34},{31,33},{30,32},{29,31},{28,30},{27,29},{26,28},{25,27},{24,26},{23,25},{22,24},{21,23},{20,22},{19,21},{18,20},{17,19},{16,18},{15,17},{14,16},{13,15},{12,14},{11,13},{10,12},{9,11},{8,10},{7,9},{6,8},{5,7},{4,6},{3,5},{2,4},{1,3},{0,2},{2,3},{3,4},{5,6},{6,7},{7,8},{8,9},{9,10},{10,11},{11,12},{12,13},{13,14},{14,15},{16,17},{17,18},{18,19},{19,20},{20,21},{22,23},{23,24},{24,25},{26,27},{27,28},{29,30},{30,31},{31,32},{33,34},{34,35},{35,36},{36,37},{37,38},{0,2},{3,5},{4,6},{6,8},{9,11},{11,13},{12,14},{15,17},{21,23},{23,25},{25,27},{28,30},{32,34},{33,35},{34,36},{38,39},{36,37},{35,36},{34,35},{33,34},{32,33},{31,32},{30,31},{29,30},{28,29},{27,28},{26,27},{25,26},{24,25},{23,24},{22,23},{21,22},{20,21},{19,20},{18,19},{17,18},{16,17},{15,16},{14,15},{13,14},{12,13},{11,12},{10,11},{9,10},{8,9},{7,8},{6,7},{5,6},{4,5},{2,3},{1,2},{0,1}};

Artikelaktionen


Funktionsleiste