metaSMT 2
|
00001 #include "../metaSMT/impl/_var_id.hpp" 00002 00003 namespace metaSMT { 00004 namespace impl { 00005 unsigned new_var_id( ) 00006 { 00007 static unsigned _id = 0; 00008 ++_id; 00009 return _id; 00010 } 00011 } /* impl */ 00012 } /* metaSMT */