Searched defs:emph (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
10 be proceeded by \emph{DrIFT}. The directory \emph{ATC} includes the files with ATermConvertible
14 \emph{genRules} in the directory \emph{utils}. It will generate a file with the specified
15 rules for \emph{DrIFT}. Then you can invoke \emph{DrIFT} on that file to create the instances.
16 \emph{genRule
[all...]

Completed in 10 milliseconds