convex.cc
Go to the documentation of this file.00001 /* 00002 * Main authors: 00003 * Guido Tack <tack@gecode.org> 00004 * Christian Schulte <schulte@gecode.org> 00005 * 00006 * Copyright: 00007 * Guido Tack, 2004 00008 * Christian Schulte, 2004 00009 * 00010 * Last modified: 00011 * $Date: 2006-04-11 15:58:37 +0200 (Tue, 11 Apr 2006) $ by $Author: tack $ 00012 * $Revision: 3188 $ 00013 * 00014 * This file is part of Gecode, the generic constraint 00015 * development environment: 00016 * http://www.gecode.org 00017 * 00018 * See the file "LICENSE" for information on usage and 00019 * redistribution of this file, and for a 00020 * DISCLAIMER OF ALL WARRANTIES. 00021 * 00022 */ 00023 00024 #include "gecode/set/convex.hh" 00025 00026 using namespace Gecode::Set; 00027 00028 namespace Gecode { 00029 void 00030 convex(Space* home, SetVar x) { 00031 if (home->failed()) return; 00032 GECODE_ES_FAIL(home,Convex::Convex::post(home, x)); 00033 } 00034 00035 void 00036 convexHull(Space* home, SetVar x, SetVar y) { 00037 if (home->failed()) return; 00038 GECODE_ES_FAIL(home,Convex::ConvexHull::post(home, x,y)); 00039 } 00040 00041 } 00042 00043 // STATISTICS: set-post