extensional.cpp
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
00039
00040 #include <gecode/int/extensional.hh>
00041
00042 namespace Gecode {
00043
00044 void
00045 extensional(Home home, const IntVarArgs& x, DFA dfa,
00046 IntConLevel) {
00047 using namespace Int;
00048 if (x.same(home))
00049 throw ArgumentSame("Int::extensional");
00050 if (home.failed()) return;
00051 GECODE_ES_FAIL(Extensional::post_lgp(home,x,dfa));
00052 }
00053
00054 void
00055 extensional(Home home, const BoolVarArgs& x, DFA dfa,
00056 IntConLevel) {
00057 using namespace Int;
00058 if (x.same(home))
00059 throw ArgumentSame("Int::extensional");
00060 if (home.failed()) return;
00061 GECODE_ES_FAIL(Extensional::post_lgp(home,x,dfa));
00062 }
00063
00064 void
00065 extensional(Home home, const IntVarArgs& x, const TupleSet& t,
00066 ExtensionalPropKind epk, IntConLevel) {
00067 using namespace Int;
00068 if (!t.finalized())
00069 throw NotYetFinalized("Int::extensional");
00070 if (t.tuples()==0) {
00071 if (x.size()!=0) {
00072 home.fail();
00073 }
00074 return;
00075 }
00076
00077 if (t.arity() != x.size())
00078 throw ArgumentSizeMismatch("Int::extensional");
00079 if (home.failed()) return;
00080
00081
00082 ViewArray<IntView> xv(home,x);
00083 switch (epk) {
00084 case EPK_SPEED:
00085 GECODE_ES_FAIL((Extensional::Incremental<IntView>
00086 ::post(home,xv,t)));
00087 break;
00088 default:
00089 if (x.same(home)) {
00090 GECODE_ES_FAIL((Extensional::Basic<IntView,true>
00091 ::post(home,xv,t)));
00092 } else {
00093 GECODE_ES_FAIL((Extensional::Basic<IntView,false>
00094 ::post(home,xv,t)));
00095 }
00096 break;
00097 }
00098 }
00099
00100 void
00101 extensional(Home home, const BoolVarArgs& x, const TupleSet& t,
00102 ExtensionalPropKind epk, IntConLevel) {
00103 using namespace Int;
00104 if (!t.finalized())
00105 throw NotYetFinalized("Int::extensional");
00106
00107 if (t.tuples()==0) {
00108 if (x.size()!=0) {
00109 home.fail();
00110 }
00111 return;
00112 }
00113
00114 if (t.arity() != x.size())
00115 throw ArgumentSizeMismatch("Int::extensional");
00116 if (home.failed()) return;
00117
00118
00119 ViewArray<BoolView> xv(home,x);
00120 switch (epk) {
00121 case EPK_SPEED:
00122 GECODE_ES_FAIL((Extensional::Incremental<BoolView>
00123 ::post(home,xv,t)));
00124 break;
00125 default:
00126 if (x.same(home)) {
00127 GECODE_ES_FAIL((Extensional::Basic<BoolView,true>
00128 ::post(home,xv,t)));
00129 } else {
00130 GECODE_ES_FAIL((Extensional::Basic<BoolView,false>
00131 ::post(home,xv,t)));
00132 }
00133 break;
00134 }
00135 }
00136
00137 }
00138
00139