assign.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 namespace Gecode {
00035
00036 forceinline
00037 IntAssign::IntAssign(Select s0)
00038 : s(s0) {}
00039
00040 forceinline
00041 IntAssign::IntAssign(Rnd r)
00042 : ValBranch<IntVar>(r), s(SEL_RND) {}
00043
00044 forceinline
00045 IntAssign::IntAssign(IntBranchVal v, IntBranchCommit c)
00046 : ValBranch<IntVar>(v,c), s(SEL_VAL_COMMIT) {}
00047
00048 forceinline IntAssign::Select
00049 IntAssign::select(void) const {
00050 return s;
00051 }
00052
00053
00054 inline IntAssign
00055 INT_ASSIGN_MIN(void) {
00056 return IntAssign(IntAssign::SEL_MIN);
00057 }
00058
00059 inline IntAssign
00060 INT_ASSIGN_MED(void) {
00061 return IntAssign(IntAssign::SEL_MED);
00062 }
00063
00064 inline IntAssign
00065 INT_ASSIGN_MAX(void) {
00066 return IntAssign(IntAssign::SEL_MAX);
00067 }
00068
00069 inline IntAssign
00070 INT_ASSIGN_RND(Rnd r) {
00071 return IntAssign(r);
00072 }
00073
00074 inline IntAssign
00075 INT_ASSIGN(IntBranchVal v, IntBranchCommit c) {
00076 return IntAssign(v,c);
00077 }
00078
00079
00080
00081 forceinline
00082 BoolAssign::BoolAssign(Select s0)
00083 : s(s0) {}
00084
00085 forceinline
00086 BoolAssign::BoolAssign(Rnd r)
00087 : ValBranch<BoolVar>(r), s(SEL_RND) {}
00088
00089 forceinline
00090 BoolAssign::BoolAssign(BoolBranchVal v, BoolBranchCommit c)
00091 : ValBranch<BoolVar>(v,c), s(SEL_VAL_COMMIT) {}
00092
00093 forceinline BoolAssign::Select
00094 BoolAssign::select(void) const {
00095 return s;
00096 }
00097
00098
00099 inline BoolAssign
00100 BOOL_ASSIGN_MIN(void) {
00101 return BoolAssign(BoolAssign::SEL_MIN);
00102 }
00103
00104 inline BoolAssign
00105 BOOL_ASSIGN_MAX(void) {
00106 return BoolAssign(BoolAssign::SEL_MAX);
00107 }
00108
00109 inline BoolAssign
00110 BOOL_ASSIGN_RND(Rnd r) {
00111 return BoolAssign(r);
00112 }
00113
00114 inline BoolAssign
00115 BOOL_ASSIGN(BoolBranchVal v, BoolBranchCommit c) {
00116 return BoolAssign(v,c);
00117 }
00118
00119 }
00120
00121