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

KIFParser Class Reference

#include <KIFParser.hpp>

Inheritance diagram for KIFParser:

KIFLexerTokenTypes List of all members.

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::Funbinary_connective_fun ()
Formula::Connective junction ()
Formula::Connective quantifier ()
Signature::Funquantifier_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::Predbinary_comparison ()
Signature::Funbinary_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_ []

Constructor & Destructor Documentation

KIFParser::KIFParser ANTLR_USE_NAMESPACE(antlr) TokenBuffer &  tokenBuf,
int  k
[protected]
 

KIFParser::KIFParser ANTLR_USE_NAMESPACE(antlr) TokenBuffer &  tokenBuf  ) 
 

KIFParser::KIFParser ANTLR_USE_NAMESPACE(antlr) TokenStream &  lexer,
int  k
[protected]
 

KIFParser::KIFParser ANTLR_USE_NAMESPACE(antlr) TokenStream &  lexer  ) 
 

KIFParser::KIFParser const ANTLR_USE_NAMESPACE(antlr) ParserSharedInputState &  state  ) 
 


Member Function Documentation

const KIFParser::ANTLR_USE_NAMESPACE antlr   )  [static, private]
 

const KIFParser::ANTLR_USE_NAMESPACE antlr   )  [static, private]
 

Signature::Pred * KIFParser::binary_comparison  ) 
 

Signature::Fun * KIFParser::binary_comparison_fun  ) 
 

Formula::Connective KIFParser::binary_connective  ) 
 

Signature::Fun * KIFParser::binary_connective_fun  ) 
 

void KIFParser::equation Atom a  ) 
 

void KIFParser::funterm Term t  ) 
 

void KIFParser::inequality Atom a  ) 
 

Formula::Connective KIFParser::junction  ) 
 

void KIFParser::kw_and  ) 
 

void KIFParser::kw_equal  ) 
 

void KIFParser::kw_exists  ) 
 

void KIFParser::kw_forall  ) 
 

void KIFParser::kw_not  ) 
 

void KIFParser::kw_or  ) 
 

Formula::Connective KIFParser::quantifier  ) 
 

Signature::Fun * KIFParser::quantifier_fun  ) 
 

void KIFParser::quoted_term Term t  ) 
 

void KIFParser::relsent Atom a  ) 
 

void KIFParser::sentence Formula f  ) 
 

void KIFParser::sentence_plus FormulaList fs  ) 
 

void KIFParser::start FormulaList formulas  ) 
 

void KIFParser::term Term t  ) 
 

void KIFParser::term_equation Term t  ) 
 

void KIFParser::term_inequality Term t  ) 
 

void KIFParser::term_plus TermList ts  ) 
 

void KIFParser::term_sentence Term t  ) 
 

void KIFParser::term_sentence_plus TermList ts  ) 
 

Var KIFParser::variable  ) 
 

void KIFParser::variable_plus VarList ws  ) 
 


Member Data Documentation

const char * KIFParser::_tokenNames [static, private]
 

const unsigned long KIFParser::_tokenSet_0_data_ = { 4031438848UL, 15UL, 0UL, 0UL } [static, private]
 

const unsigned long KIFParser::_tokenSet_1_data_[] [static, private]
 


The documentation for this class was generated from the following files:
Generated on Sat Jun 28 15:08:59 2003 for Vampire by doxygen 1.3.2