#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: