val.hpp
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038 namespace Gecode {
00039
00040 forceinline
00041 IntValBranch::IntValBranch(Select s0)
00042 : s(s0) {}
00043
00044 forceinline
00045 IntValBranch::IntValBranch(Rnd r)
00046 : ValBranch<IntVar>(r), s(SEL_RND) {}
00047
00048 forceinline
00049 IntValBranch::IntValBranch(IntBranchVal v, IntBranchCommit c)
00050 : ValBranch<IntVar>(v,c), s(SEL_VAL_COMMIT) {}
00051
00052 forceinline IntValBranch::Select
00053 IntValBranch::select(void) const {
00054 return s;
00055 }
00056
00057
00058 inline IntValBranch
00059 INT_VAL_MIN(void) {
00060 return IntValBranch(IntValBranch::SEL_MIN);
00061 }
00062
00063 inline IntValBranch
00064 INT_VAL_MED(void) {
00065 return IntValBranch(IntValBranch::SEL_MED);
00066 }
00067
00068 inline IntValBranch
00069 INT_VAL_MAX(void) {
00070 return IntValBranch(IntValBranch::SEL_MAX);
00071 }
00072
00073 inline IntValBranch
00074 INT_VAL_RND(Rnd r) {
00075 return IntValBranch(r);
00076 }
00077
00078 inline IntValBranch
00079 INT_VAL_SPLIT_MIN(void) {
00080 return IntValBranch(IntValBranch::SEL_SPLIT_MIN);
00081 }
00082
00083 inline IntValBranch
00084 INT_VAL_SPLIT_MAX(void) {
00085 return IntValBranch(IntValBranch::SEL_SPLIT_MAX);
00086 }
00087
00088 inline IntValBranch
00089 INT_VAL_RANGE_MIN(void) {
00090 return IntValBranch(IntValBranch::SEL_RANGE_MIN);
00091 }
00092
00093 inline IntValBranch
00094 INT_VAL_RANGE_MAX(void) {
00095 return IntValBranch(IntValBranch::SEL_RANGE_MAX);
00096 }
00097
00098 inline IntValBranch
00099 INT_VAL(IntBranchVal v, IntBranchCommit c) {
00100 return IntValBranch(v,c);
00101 }
00102
00103 inline IntValBranch
00104 INT_VALUES_MIN(void) {
00105 return IntValBranch(IntValBranch::SEL_VALUES_MIN);
00106 }
00107
00108 inline IntValBranch
00109 INT_VALUES_MAX(void) {
00110 return IntValBranch(IntValBranch::SEL_VALUES_MAX);
00111 }
00112
00113
00114
00115 forceinline
00116 BoolValBranch::BoolValBranch(Select s0)
00117 : s(s0) {}
00118
00119 forceinline
00120 BoolValBranch::BoolValBranch(Rnd r)
00121 : ValBranch<BoolVar>(r), s(SEL_RND) {}
00122
00123 forceinline
00124 BoolValBranch::BoolValBranch(BoolBranchVal v, BoolBranchCommit c)
00125 : ValBranch<BoolVar>(v,c), s(SEL_VAL_COMMIT) {}
00126
00127 forceinline BoolValBranch::Select
00128 BoolValBranch::select(void) const {
00129 return s;
00130 }
00131
00132
00133 inline BoolValBranch
00134 BOOL_VAL_MIN(void) {
00135 return BoolValBranch(BoolValBranch::SEL_MIN);
00136 }
00137
00138 inline BoolValBranch
00139 BOOL_VAL_MAX(void) {
00140 return BoolValBranch(BoolValBranch::SEL_MAX);
00141 }
00142
00143 inline BoolValBranch
00144 BOOL_VAL_RND(Rnd r) {
00145 return BoolValBranch(r);
00146 }
00147
00148 inline BoolValBranch
00149 BOOL_VAL(BoolBranchVal v, BoolBranchCommit c) {
00150 return BoolValBranch(v,c);
00151 }
00152
00153 }
00154
00155