var-type.cc
Go to the documentation of this file.00001 /* 00002 * CAUTION: 00003 * This file has been automatically generated. Do not edit, 00004 * edit the specification file "variable.vsl" and the following 00005 * files instead: 00006 * - gecode/int/var-imp/int.vis 00007 * - gecode/int/var-imp/bool.vis 00008 * - gecode/set/var-imp/set.vis 00009 * - gecode/cpltset/var-imp/cpltset.vis 00010 * 00011 * This file contains generated code fragments which are 00012 * copyrighted as follows: 00013 * 00014 * Main author: 00015 * Christian Schulte <schulte@gecode.org> 00016 * 00017 * Copyright: 00018 * Christian Schulte, 2007 00019 * 00020 * The generated code fragments are part of Gecode, the generic 00021 * constraint development environment: 00022 * http://www.gecode.org 00023 * 00024 * Permission is hereby granted, free of charge, to any person obtaining 00025 * a copy of this software and associated documentation files (the 00026 * "Software"), to deal in the Software without restriction, including 00027 * without limitation the rights to use, copy, modify, merge, publish, 00028 * distribute, sublicense, and/or sell copies of the Software, and to 00029 * permit persons to whom the Software is furnished to do so, subject to 00030 * the following conditions: 00031 * 00032 * The above copyright notice and this permission notice shall be 00033 * included in all copies or substantial portions of the Software. 00034 * 00035 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 00036 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF 00037 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND 00038 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE 00039 * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION 00040 * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION 00041 * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. 00042 * 00043 */ 00044 00045 #include "gecode/kernel.hh" 00046 00047 #ifdef GECODE_HAS_INT_VARS 00048 namespace Gecode { namespace Int { 00049 const Gecode::Support::Symbol IntVarImpConf::vti = "Int"; 00050 }} 00051 #endif 00052 #ifdef GECODE_HAS_INT_VARS 00053 namespace Gecode { namespace Int { 00054 const Gecode::Support::Symbol BoolVarImpConf::vti = "Bool"; 00055 }} 00056 #endif 00057 #ifdef GECODE_HAS_SET_VARS 00058 namespace Gecode { namespace Set { 00059 const Gecode::Support::Symbol SetVarImpConf::vti = "Set"; 00060 }} 00061 #endif 00062 #ifdef GECODE_HAS_CPLTSET_VARS 00063 namespace Gecode { namespace CpltSet { 00064 const Gecode::Support::Symbol CpltSetVarImpConf::vti = "CpltSet"; 00065 }} 00066 #endif 00067 00068 // STATISTICS: kernel-var