Prophet/jjheader.h at master · RepositoryBackups/Prophet · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
/*-----------------------------------------------------------------------------
 *
 * FILE: jjheader.h
 * AUTHOR: Diego Belfiore
 *
 * USAGE: Includes every header file found in the JJParser.
 *
 *---------------------------------------------------------------------------*/
#ifndef _JJ_HEADER_H_
#define _JJ_HEADER_H_
//-----------------------------------------------------------------------------
#include "DataTypes.h"
#include "Utilities.h"
#include "Parsing.h"
#include "Tokenizer.h"
#include "List.h"
#include "Tree.h"
#include "ParseTPTP.h"
#include "Signature.h"
#include "PrintTSTP.h"
#include "Examine.h"
#include "ListStatistics.h"
#include "Modify.h"
#include "ParseTSTP.h"
#include "Statistics.h"
#include "TreeStatistics.h"
#include "FileUtilities.h"
//-----------------------------------------------------------------------------
#endif
//-----------------------------------------------------------------------------