| 81 | return bchb; |
| 82 | } |
| 83 | forceinline void |
| 84 | IntBoolVarBranch::expand(Home home, const IntVarArgs& x, const BoolVarArgs& y) { |
| 85 | switch (select()) { |
| 86 | case IntBoolVarBranch::SEL_AFC_MAX: |
| 87 | case IntBoolVarBranch::SEL_AFC_SIZE_MAX: |
| 88 | if (!iafc) |
| 89 | iafc = IntAFC(home,x,decay()); |
| 90 | if (!bafc) |
| 91 | bafc = BoolAFC(home,y,decay()); |
| 92 | break; |
| 93 | case IntBoolVarBranch::SEL_ACTION_MAX: |
| 94 | case IntBoolVarBranch::SEL_ACTION_SIZE_MAX: |
| 95 | if (!iaction) |
| 96 | iaction = IntAction(home,x,decay()); |
| 97 | if (!baction) |
| 98 | baction = BoolAction(home,y,decay()); |
| 99 | break; |
| 100 | case IntBoolVarBranch::SEL_CHB_MAX: |
| 101 | case IntBoolVarBranch::SEL_CHB_SIZE_MAX: |
| 102 | if (!ichb) |
| 103 | ichb = IntCHB(home,x); |
| 104 | if (!bchb) |
| 105 | bchb = BoolCHB(home,y); |
| 106 | break; |
| 107 | default: ; |
| 108 | } |
| 109 | } |
| 110 | |
| 111 | |
| 112 | |