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

TPTPParser Class Reference

#include <TPTPParser.hpp>

Inheritance diagram for TPTPParser:

TPTPLexerTokenTypes List of all members.

Public Member Functions

 TPTPParser (ANTLR_USE_NAMESPACE(antlr) TokenBuffer &tokenBuf)
 TPTPParser (ANTLR_USE_NAMESPACE(antlr) TokenStream &lexer)
 TPTPParser (const ANTLR_USE_NAMESPACE(antlr) ParserSharedInputState &state)
void units (UnitList &us)
void include (UnitList &us)
void unit (Unit &unit)
void kw_include ()
void kw_formula ()
InputType type ()
void formula (Formula &f)
void kw_clause ()
void clause (Clause &c)
void xorformula (Formula &f)
void literals (LiteralList &ls)
void impformula (Formula &f)
void literal (Literal &l)
void orformula (Formula &f)
bool sign ()
void atom (Atom &a)
void andformula (Formula &f)
void terms (TermList &ts)
void simple_formula (Formula &f)
void term (Term &t)
void varlist (VarList &vs)
void vars (VarList &vs)

Protected Member Functions

 TPTPParser (ANTLR_USE_NAMESPACE(antlr) TokenBuffer &tokenBuf, int k)
 TPTPParser (ANTLR_USE_NAMESPACE(antlr) TokenStream &lexer, int k)

Static Private Attributes

const char * _tokenNames []

Detailed Description

This software is an adaptation of the theorem prover Vampire for working with large knowledge bases in the KIF format, see http://www.prover.info for publications on Vampire.

Copyright (C) Andrei Voronkov and Alexandre Riazanov

Author:
Alexandre Riazanov <riazanov@cs.man.ac.uk>

Andrei Voronkov <voronkov@cs.man.ac.uk>, <andrei@voronkov.com>

Date:
06/06/2003
This software is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version.

This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.

You should have received a copy of the GNU Lesser General Public License along with this library; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA


Constructor & Destructor Documentation

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

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

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

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

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


Member Function Documentation

void TPTPParser::andformula Formula f  ) 
 

void TPTPParser::atom Atom a  ) 
 

void TPTPParser::clause Clause c  ) 
 

void TPTPParser::formula Formula f  ) 
 

void TPTPParser::impformula Formula f  ) 
 

void TPTPParser::include UnitList us  ) 
 

void TPTPParser::kw_clause  ) 
 

void TPTPParser::kw_formula  ) 
 

void TPTPParser::kw_include  ) 
 

void TPTPParser::literal Literal l  ) 
 

void TPTPParser::literals LiteralList ls  ) 
 

void TPTPParser::orformula Formula f  ) 
 

bool TPTPParser::sign  ) 
 

void TPTPParser::simple_formula Formula f  ) 
 

void TPTPParser::term Term t  ) 
 

void TPTPParser::terms TermList ts  ) 
 

InputType TPTPParser::type  ) 
 

void TPTPParser::unit Unit unit  ) 
 

void TPTPParser::units UnitList us  ) 
 

void TPTPParser::varlist VarList vs  ) 
 

void TPTPParser::vars VarList vs  ) 
 

void TPTPParser::xorformula Formula f  ) 
 


Member Data Documentation

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


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