实验三 归结原理

}

for (int i = 0; i < x; i++) {

if (sortBySpouse1[i].getName().equals(\孙\)) for (int j = 0; j < d; j++) if

(sortBySpouse2[i].getName().equals(couple4[j].getName())) { if (j == d - 1)

d--; else {

for (int j1 = j; j1 < d - 1; j1++)

couple4[j1] = couple4[j1 + 1]; d--;

} }

}

if (a == 1)

man[0].setSpouse(couple1[a - 1]); else

for (int i = 0; i < a; i++) {

if (b == 1) if

(couple1[i].getName().equals(couple2[0].getName())) { if (i == a - 1) a--; else {

for (int j1 = i; j1 < a - 1; j1++) couple1[j1] = couple1[j1 + 1];

a--; } }

if (c == 1) if

(couple1[i].getName().equals(couple3[0].getName())) { if (i == a - 1)

a--; else {

for (int j1 = i; j1 < a - 1; j1++) couple1[j1] = couple1[j1 + 1]; a--;

} }

if (d == 1) if

(couple1[i].getName().equals(couple4[0].getName())) {

}

if (i == a - 1)

a--; else {

for (int j1 = i; j1 < a - 1; j1++) couple1[j1] = couple1[j1 + 1]; a--; }

}

if (b == 1)

man[1].setSpouse(couple1[b - 1]); else

for (int i = 0; i < b; i++) { if (a == 1) if

if (i == b - 1) b--; else {

for (int j1 = i; j1 < b - 1; j1++) couple2[j1] = couple2[j1 + 1];

(couple2[i].getName().equals(couple1[0].getName())) {

b--; } }

if (c == 1) if

if (i == b - 1) b--; else {

for (int j1 = i; j1 < b - 1; j1++) couple2[j1] = couple2[j1 + 1];

(couple2[i].getName().equals(couple3[0].getName())) {

b--; }

}

if (d == 1) if

(couple2[i].getName().equals(couple4[0].getName())) { if (i == d - 1)

d--; else {

for (int j1 = i; j1 < b - 1; j1++) couple2[j1] = couple2[j1 + 1]; b--;

}

} }

if (c == 1)

man[2].setSpouse(couple1[c - 1]); else

for (int i = 0; i < c; i++) {

if (a == 1) if

if (i == c - 1)

c--;

else {

for (int j1 = i; j1 < c - 1; j1++)

couple3[j1] = couple3[j1 + 1]; c--;

(couple3[i].getName().equals(couple1[0].getName())) {

} }

if (b == 1) if

if (i == c - 1) c--; else {

for (int j1 = i; j1 < c - 1; j1++)

couple3[j1] = couple3[j1 + 1]; c--;

(couple3[i].getName().equals(couple2[0].getName())) {

} }

if (d == 1) if

}

if (i == c - 1) c--;

else {

for (int j1 = i; j1 < c - 1; j1++)

couple3[j1] = couple3[j1 + 1];

c--; }

(couple3[i].getName().equals(couple4[0].getName())) {

}

if (d == 1)

man[3].setSpouse(couple1[d - 1]); else

for (int i = 0; i < d; i++) {

if (a == 1) if

(couple4[i].getName().equals(couple1[0].getName())) { if (i == d - 1)

}

d--; else { }

for (int j1 = i; j1 < d - 1; j1++) couple4[j1] = couple4[j1 + 1]; d--;

if (b == 1) if

(couple4[i].getName().equals(couple2[0].getName())) { if (i == d - 1)

d--; else {

for (int j1 = i; j1 < d - 1; j1++)

couple4[j1] = couple4[j1 + 1]; d--;

} }

if (d == 1) if

(couple4[i].getName().equals(couple4[0].getName())) { if (i == d - 1)

public void supposeJudge() { if (a == 1) {

man[0].setSpouse(couple1[0]); a2 = a;

}

d--; else {

for (int j1 = i; j1 < d - 1; j1++)

couple4[j1] = couple4[j1 + 1]; d--;

} }

}

}

if (b == 1) {

man[1].setSpouse(couple2[0]);