| 11494 | extern char * showOption(); |
| 11495 | |
| 11496 | void kDebugPrint(kStrategy strat) |
| 11497 | { |
| 11498 | printf("red: "); |
| 11499 | if (strat->red==redFirst) printf("redFirst\n"); |
| 11500 | else if (strat->red==redHoney) printf("redHoney\n"); |
| 11501 | else if (strat->red==redEcart) printf("redEcart\n"); |
| 11502 | else if (strat->red==redHomog) printf("redHomog\n"); |
| 11503 | else if (strat->red==redLazy) printf("redLazy\n"); |
| 11504 | else if (strat->red==redLiftstd) printf("redLiftstd\n"); |
| 11505 | else printf("%p\n",(void*)strat->red); |
| 11506 | printf("posInT: "); |
| 11507 | if (strat->posInT==posInT0) printf("posInT0\n"); |
| 11508 | else if (strat->posInT==posInT1) printf("posInT1\n"); |
| 11509 | else if (strat->posInT==posInT11) printf("posInT11\n"); |
| 11510 | else if (strat->posInT==posInT110) printf("posInT110\n"); |
| 11511 | else if (strat->posInT==posInT13) printf("posInT13\n"); |
| 11512 | else if (strat->posInT==posInT15) printf("posInT15\n"); |
| 11513 | else if (strat->posInT==posInT17) printf("posInT17\n"); |
| 11514 | else if (strat->posInT==posInT17_c) printf("posInT17_c\n"); |
| 11515 | else if (strat->posInT==posInT19) printf("posInT19\n"); |
| 11516 | else if (strat->posInT==posInT2) printf("posInT2\n"); |
| 11517 | else if (strat->posInT==posInT11Ring) printf("posInT11Ring\n"); |
| 11518 | else if (strat->posInT==posInT110Ring) printf("posInT110Ring\n"); |
| 11519 | else if (strat->posInT==posInT15Ring) printf("posInT15Ring\n"); |
| 11520 | else if (strat->posInT==posInT17Ring) printf("posInT17Ring\n"); |
| 11521 | else if (strat->posInT==posInT17_cRing) printf("posInT17_cRing\n"); |
| 11522 | #ifdef HAVE_MORE_POS_IN_T |
| 11523 | else if (strat->posInT==posInT_EcartFDegpLength) printf("posInT_EcartFDegpLength\n"); |
| 11524 | else if (strat->posInT==posInT_FDegpLength) printf("posInT_FDegpLength\n"); |
| 11525 | else if (strat->posInT==posInT_pLength) printf("posInT_pLength\n"); |
| 11526 | #endif |
| 11527 | else if (strat->posInT==posInT_EcartpLength) printf("posInT_EcartpLength\n"); |
| 11528 | else printf("%p\n",(void*)strat->posInT); |
| 11529 | printf("posInL: "); |
| 11530 | if (strat->posInL==posInL0) printf("posInL0\n"); |
| 11531 | else if (strat->posInL==posInL10) printf("posInL10\n"); |
| 11532 | else if (strat->posInL==posInL11) printf("posInL11\n"); |
| 11533 | else if (strat->posInL==posInL110) printf("posInL110\n"); |
| 11534 | else if (strat->posInL==posInL13) printf("posInL13\n"); |
| 11535 | else if (strat->posInL==posInL15) printf("posInL15\n"); |
| 11536 | else if (strat->posInL==posInL17) printf("posInL17\n"); |
| 11537 | else if (strat->posInL==posInL17_c) printf("posInL17_c\n"); |
| 11538 | else if (strat->posInL==posInL0) printf("posInL0Ring\n"); |
| 11539 | else if (strat->posInL==posInL11Ring) printf("posInL11Ring\n"); |
| 11540 | else if (strat->posInL==posInL11Ringls) printf("posInL11Ringls\n"); |
| 11541 | else if (strat->posInL==posInL110Ring) printf("posInL110Ring\n"); |
| 11542 | else if (strat->posInL==posInL15Ring) printf("posInL15Ring\n"); |
| 11543 | else if (strat->posInL==posInL17Ring) printf("posInL17Ring\n"); |
| 11544 | else if (strat->posInL==posInL17_cRing) printf("posInL17_cRing\n"); |
| 11545 | else if (strat->posInL==posInLSpecial) printf("posInLSpecial\n"); |
| 11546 | else printf("%p\n",(void*)strat->posInL); |
| 11547 | printf("enterS: "); |
| 11548 | if (strat->enterS==enterSBba) printf("enterSBba\n"); |
| 11549 | else if (strat->enterS==enterSMora) printf("enterSMora\n"); |
| 11550 | else if (strat->enterS==enterSMoraNF) printf("enterSMoraNF\n"); |
| 11551 | else printf("%p\n",(void*)strat->enterS); |
| 11552 | printf("initEcart: "); |
| 11553 | if (strat->initEcart==initEcartBBA) printf("initEcartBBA\n"); |
no test coverage detected