returns TRUE if mora should use buckets, false otherwise
| 3880 | |
| 3881 | // returns TRUE if mora should use buckets, false otherwise |
| 3882 | static BOOLEAN kMoraUseBucket(kStrategy strat) |
| 3883 | { |
| 3884 | #ifdef MORA_USE_BUCKETS |
| 3885 | if (TEST_OPT_NOT_BUCKETS) |
| 3886 | return FALSE; |
| 3887 | if (strat->red == redFirst) |
| 3888 | { |
| 3889 | #ifdef NO_LDEG |
| 3890 | if (strat->syzComp==0) |
| 3891 | return TRUE; |
| 3892 | #else |
| 3893 | if ((strat->homog || strat->honey) && (strat->syzComp==0)) |
| 3894 | return TRUE; |
| 3895 | #endif |
| 3896 | } |
| 3897 | else |
| 3898 | { |
| 3899 | assume(strat->red == redEcart || strat->red == redRiloc || strat->red == redRiloc_Z); |
| 3900 | if (strat->honey && (strat->syzComp==0)) |
| 3901 | return TRUE; |
| 3902 | } |
| 3903 | #endif |
| 3904 | return FALSE; |
| 3905 | } |
no outgoing calls
no test coverage detected