#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_ [] |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|