00001 00027 #ifndef INC_TPTPParser_hpp_ 00028 #define INC_TPTPParser_hpp_ 00029 00030 #include "antlr/config.hpp" 00031 /* $ANTLR 2.7.1: "TPTP.g" -> "TPTPParser.hpp"$ */ 00032 #include "antlr/TokenStream.hpp" 00033 #include "antlr/TokenBuffer.hpp" 00034 #include "TPTPLexerTokenTypes.hpp" 00035 #include "antlr/LLkParser.hpp" 00036 00037 #line 19 "TPTP.g" 00038 00039 #include <iostream> 00040 #include "Unit.hpp" 00041 00042 #line 17 "TPTPParser.hpp" 00043 class TPTPParser : public ANTLR_USE_NAMESPACE(antlr)LLkParser, public TPTPLexerTokenTypes 00044 { 00045 #line 143 "TPTP.g" 00046 00047 #line 21 "TPTPParser.hpp" 00048 protected: 00049 TPTPParser(ANTLR_USE_NAMESPACE(antlr)TokenBuffer& tokenBuf, int k); 00050 public: 00051 TPTPParser(ANTLR_USE_NAMESPACE(antlr)TokenBuffer& tokenBuf); 00052 protected: 00053 TPTPParser(ANTLR_USE_NAMESPACE(antlr)TokenStream& lexer, int k); 00054 public: 00055 TPTPParser(ANTLR_USE_NAMESPACE(antlr)TokenStream& lexer); 00056 TPTPParser(const ANTLR_USE_NAMESPACE(antlr)ParserSharedInputState& state); 00057 public: void units( 00058 UnitList& us 00059 ); 00060 public: void include( 00061 UnitList& us 00062 ); 00063 public: void unit( 00064 Unit& unit 00065 ); 00066 public: void kw_include(); 00067 public: void kw_formula(); 00068 public: InputType type(); 00069 public: void formula( 00070 Formula& f 00071 ); 00072 public: void kw_clause(); 00073 public: void clause( 00074 Clause& c 00075 ); 00076 public: void xorformula( 00077 Formula& f 00078 ); 00079 public: void literals( 00080 LiteralList& ls 00081 ); 00082 public: void impformula( 00083 Formula& f 00084 ); 00085 public: void literal( 00086 Literal& l 00087 ); 00088 public: void orformula( 00089 Formula& f 00090 ); 00091 public: bool sign(); 00092 public: void atom( 00093 Atom& a 00094 ); 00095 public: void andformula( 00096 Formula& f 00097 ); 00098 public: void terms( 00099 TermList& ts 00100 ); 00101 public: void simple_formula( 00102 Formula& f 00103 ); 00104 public: void term( 00105 Term& t 00106 ); 00107 public: void varlist( 00108 VarList& vs 00109 ); 00110 public: void vars( 00111 VarList& vs 00112 ); 00113 private: 00114 static const char* _tokenNames[]; 00115 00116 }; 00117 00118 #endif /*INC_TPTPParser_hpp_*/