sequence.cc
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 #include "gecode/set/sequence.hh"
00025
00026 using namespace Gecode::Set;
00027
00028 namespace Gecode {
00029
00030 void
00031 sequence(Space* home, const SetVarArgs& xa) {
00032 if (home->failed()) return;
00033 if (xa.size()==0)
00034 throw ArgumentEmpty("Set::seq");
00035 ViewArray<SetView> x(home,xa);
00036 GECODE_ES_FAIL(home,Sequence::Seq::post(home, x));
00037 }
00038
00039 void
00040 sequentialUnion(Space* home, const SetVarArgs& xa, SetVar y) {
00041 if (home->failed()) return;
00042 ViewArray<SetView> x(home,xa);
00043 GECODE_ES_FAIL(home,Sequence::SeqU::post(home, x,y));
00044 }
00045
00046 }
00047
00048