regular.cc
Go to the documentation of this file.00001 /* 00002 * Main authors: 00003 * Christian Schulte <schulte@gecode.org> 00004 * 00005 * Copyright: 00006 * Christian Schulte, 2004 00007 * 00008 * Last modified: 00009 * $Date: 2006-04-11 15:58:37 +0200 (Tue, 11 Apr 2006) $ by $Author: tack $ 00010 * $Revision: 3188 $ 00011 * 00012 * This file is part of Gecode, the generic constraint 00013 * development environment: 00014 * http://www.gecode.org 00015 * 00016 * See the file "LICENSE" for information on usage and 00017 * redistribution of this file, and for a 00018 * DISCLAIMER OF ALL WARRANTIES. 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 // STATISTICS: int-post 00040