Lines Matching defs:files
10 be proceeded by \emph{DrIFT}. The directory \emph{ATC} includes the files with ATermConvertible
11 instances, which are necessary to read datatypes from and to write them to files in the
21 These files begin with an
22 \emph{ATC\_} followed by the logic name. All the other ATC-files are saved in the directory \emph{ATC}.
35 \section*{Header files}
36 Header files must have the suffix \verb|.header.hs| and the name of the file they
48 Header files are necessary, because \emph{DrIFT} can't generate all instances automatically.
52 in the variable \emph{genrule\_files} in the Makefile. All files in that variable will be seperated
53 into files which are from a specific logic directory (CASL, HasCASL, CspCASL, Haskell) and those which
54 are not. The files from every logic will be packed in the specific logic ATC-file (look above).