| 1051 | } |
| 1052 | |
| 1053 | BOOLEAN kTest_S(kStrategy strat) |
| 1054 | { |
| 1055 | int i; |
| 1056 | BOOLEAN ret = TRUE; |
| 1057 | for (i=0; i<=strat->sl; i++) |
| 1058 | { |
| 1059 | if (strat->S[i] != NULL && |
| 1060 | strat->sevS[i] != pGetShortExpVector(strat->S[i])) |
| 1061 | { |
| 1062 | return dReportError("S[%d] wrong sev: has %o, specified to have %o", |
| 1063 | i , pGetShortExpVector(strat->S[i]), strat->sevS[i]); |
| 1064 | } |
| 1065 | } |
| 1066 | return ret; |
| 1067 | } |
| 1068 | |
| 1069 | |
| 1070 |