Searched defs:genRules (Results 1 - 1 of 1) sorted by relevance

/hets/ATC/doc/
H A DATC-Rule-Generation.tex3 \title{Creating ATermConvertible-Instances with \emph{genRules} and \emph{DrIFT}}
9 The tool \emph{genRules} provides the ability to create automatically rules, which can
14 \emph{genRules} in the directory \emph{utils}. It will generate a file with the specified
16 \emph{genRules} will generate a file with a \verb|.der.hs|-suffix, it will contain all necessary
23 \section*{Invoking \emph{genRules}}

Completed in 25 milliseconds