metaSMT git

metaSMT::transform::rewrite2< Domain >::to< Tag, Left, Right > Struct Template Reference

#include <rewrite.hpp>


Detailed Description

template<typename Domain>
template<typename Tag, typename Left, typename Right>
struct metaSMT::transform::rewrite2< Domain >::to< Tag, Left, Right >

Definition at line 18 of file rewrite.hpp.


The documentation for this struct was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines