Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

TPTPParser.hpp

Go to the documentation of this file.
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_*/

Generated on Sat Jun 28 15:08:58 2003 for Vampire by doxygen 1.3.2