Post expression
| 737 | : t(t0), e(e0) {} |
| 738 | /// Post expression |
| 739 | virtual IntVar post(Home home, IntVar* ret, |
| 740 | const IntPropLevels&) const { |
| 741 | IntVar m = result(home,ret); |
| 742 | switch (t) { |
| 743 | case SNLE_CARD: |
| 744 | cardinality(home, e.post(home), m); |
| 745 | break; |
| 746 | case SNLE_MIN: |
| 747 | min(home, e.post(home), m); |
| 748 | break; |
| 749 | case SNLE_MAX: |
| 750 | max(home, e.post(home), m); |
| 751 | break; |
| 752 | default: |
| 753 | GECODE_NEVER; |
| 754 | break; |
| 755 | } |
| 756 | return m; |
| 757 | } |
| 758 | virtual void post(Home home, IntRelType irt, int c, |
| 759 | const IntPropLevels& ipls) const { |
| 760 | if (t==SNLE_CARD && irt!=IRT_NQ) { |