| 1008 | } |
| 1009 | |
| 1010 | BOOLEAN kTest (kStrategy strat) |
| 1011 | { |
| 1012 | int i; |
| 1013 | // test P |
| 1014 | kFalseReturn(kTest_L(&(strat->P), strat, |
| 1015 | (strat->P.p != NULL && pNext(strat->P.p)!=strat->tail), |
| 1016 | -1, strat->T, strat->tl)); |
| 1017 | |
| 1018 | // test T |
| 1019 | if (strat->T != NULL) |
| 1020 | { |
| 1021 | for (i=0; i<=strat->tl; i++) |
| 1022 | { |
| 1023 | kFalseReturn(kTest_T(&(strat->T[i]), strat, i, 'T')); |
| 1024 | if (strat->sevT[i] != pGetShortExpVector(strat->T[i].p)) |
| 1025 | return dReportError("strat->sevT[%d] out of sync", i); |
| 1026 | } |
| 1027 | } |
| 1028 | |
| 1029 | // test L |
| 1030 | if (strat->L != NULL) |
| 1031 | { |
| 1032 | for (i=0; i<=strat->Ll; i++) |
| 1033 | { |
| 1034 | kFalseReturn(kTest_L(&(strat->L[i]), strat, |
| 1035 | strat->L[i].Next() != strat->tail, i, |
| 1036 | strat->T, strat->tl)); |
| 1037 | // may be unused |
| 1038 | //if (strat->use_buckets && strat->L[i].Next() != strat->tail && |
| 1039 | // strat->L[i].Next() != NULL && strat->L[i].p1 != NULL) |
| 1040 | //{ |
| 1041 | // assume(strat->L[i].bucket != NULL); |
| 1042 | //} |
| 1043 | } |
| 1044 | } |
| 1045 | |
| 1046 | // test S |
| 1047 | if (strat->S != NULL) |
| 1048 | kFalseReturn(kTest_S(strat)); |
| 1049 | |
| 1050 | return TRUE; |
| 1051 | } |
| 1052 | |
| 1053 | BOOLEAN kTest_S(kStrategy strat) |
| 1054 | { |