regular.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 #include "gecode/int/regular.hh"
00023
00024 namespace Gecode {
00025
00026 using namespace Int;
00027
00028 void
00029 regular(Space* home, const IntVarArgs& x, DFA& dfa, IntConLevel) {
00030 if (home->failed()) return;
00031 ViewArray<IntView> xv(home,x);
00032 GECODE_ES_FAIL(home,Regular::Dom<IntView>::post(home,xv,dfa));
00033 }
00034
00035 }
00036
00037
00038
00039
00040