metaSMT git
|
00001 #pragma once 00002 #include <boost/proto/core.hpp> 00003 00004 namespace metaSMT { 00005 namespace transform { 00006 00007 template<typename Domain> 00008 struct rewrite1 { 00009 template<typename Tag, typename Child> 00010 struct to 00011 : boost::proto::result_of::make_expr< Tag, Domain, Child> 00012 {}; 00013 }; 00014 00015 template<typename Domain> 00016 struct rewrite2 { 00017 template<typename Tag, typename Left, typename Right> 00018 struct to 00019 : boost::proto::result_of::make_expr< Tag, Domain, Left, Right> 00020 {}; 00021 }; 00022 00023 } /* transform */ 00024 } /* metaSMT */ 00025 00026 00027 // vim: tabstop=2 shiftwidth=2 expandtab