#include <KIFParser.hpp>
Inheritance diagram for KIFParser:

Public Member Functions | |
| KIFParser (ANTLR_USE_NAMESPACE(antlr) TokenBuffer &tokenBuf) | |
| KIFParser (ANTLR_USE_NAMESPACE(antlr) TokenStream &lexer) | |
| KIFParser (const ANTLR_USE_NAMESPACE(antlr) ParserSharedInputState &state) | |
| void | start (FormulaList &formulas) |
| void | sentence (Formula &f) |
| void | term (Term &t) |
| Var | variable () |
| void | funterm (Term &t) |
| void | quoted_term (Term &t) |
| void | kw_and () |
| void | kw_or () |
| void | kw_not () |
| void | kw_forall () |
| void | kw_exists () |
| void | kw_equal () |
| void | term_plus (TermList &ts) |
| Formula::Connective | binary_connective () |
| Signature::Fun * | binary_connective_fun () |
| Formula::Connective | junction () |
| Formula::Connective | quantifier () |
| Signature::Fun * | quantifier_fun () |
| void | term_sentence (Term &t) |
| void | equation (Atom &a) |
| void | inequality (Atom &a) |
| void | relsent (Atom &a) |
| void | sentence_plus (FormulaList &fs) |
| void | variable_plus (VarList &ws) |
| void | term_equation (Term &t) |
| void | term_inequality (Term &t) |
| void | term_sentence_plus (TermList &ts) |
| Signature::Pred * | binary_comparison () |
| Signature::Fun * | binary_comparison_fun () |
Protected Member Functions | |
| KIFParser (ANTLR_USE_NAMESPACE(antlr) TokenBuffer &tokenBuf, int k) | |
| KIFParser (ANTLR_USE_NAMESPACE(antlr) TokenStream &lexer, int k) | |
Static Private Member Functions | |
| const | ANTLR_USE_NAMESPACE (antlr) BitSet _tokenSet_0 |
| const | ANTLR_USE_NAMESPACE (antlr) BitSet _tokenSet_1 |
Static Private Attributes | |
| const char * | _tokenNames [] |
| const unsigned long | _tokenSet_0_data_ [] = { 4031438848UL, 15UL, 0UL, 0UL } |
| const unsigned long | _tokenSet_1_data_ [] |
|
||||||||||||
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.3.2