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

TPTPLexer Class Reference

#include <TPTPLexer.hpp>

Inheritance diagram for TPTPLexer:

TPTPLexerTokenTypes List of all members.

Public Member Functions

bool getCaseSensitiveLiterals () const
 TPTPLexer (ANTLR_USE_NAMESPACE(std) istream &in)
 TPTPLexer (ANTLR_USE_NAMESPACE(antlr) InputBuffer &ib)
 TPTPLexer (const ANTLR_USE_NAMESPACE(antlr) LexerSharedInputState &state)
 ANTLR_USE_NAMESPACE (antlr) RefToken nextToken()
void mSKIP_RULE (bool _createToken)
void mCOMMENT_LINE (bool _createToken)
void mFILE_NAME (bool _createToken)
void mLPAR (bool _createToken)
void mRPAR (bool _createToken)
void mLBRA (bool _createToken)
void mRBRA (bool _createToken)
void mCOMMA (bool _createToken)
void mCOLON (bool _createToken)
void mDOT (bool _createToken)
void mAND (bool _createToken)
void mNOT (bool _createToken)
void mOR (bool _createToken)
void mIFF (bool _createToken)
void mIMP (bool _createToken)
void mXOR (bool _createToken)
void mFORALL (bool _createToken)
void mEXISTS (bool _createToken)
void mPP (bool _createToken)
void mMM (bool _createToken)
void mNAME (bool _createToken)
void mVAR (bool _createToken)

Protected Member Functions

void mUPPER (bool _createToken)
void mLOWER (bool _createToken)
void mDIGIT (bool _createToken)
void mWHITE (bool _createToken)
void mNUMBER (bool _createToken)
void mWORDCHAR (bool _createToken)
void mCHARACTER (bool _createToken)
void mQUOTE (bool _createToken)

Private Member Functions

void initLiterals ()

Static Private Member Functions

const ANTLR_USE_NAMESPACE (antlr) BitSet _tokenSet_0
const ANTLR_USE_NAMESPACE (antlr) BitSet _tokenSet_1
const ANTLR_USE_NAMESPACE (antlr) BitSet _tokenSet_2

Static Private Attributes

const unsigned long _tokenSet_0_data_ [] = { 4294966271UL, 4294967295UL, 4294967295UL, 4294967295UL, 4294967295UL, 4294967295UL, 4294967295UL, 4294967295UL, 0UL, 0UL, 0UL, 0UL, 0UL, 0UL, 0UL, 0UL }
const unsigned long _tokenSet_1_data_ []
const unsigned long _tokenSet_2_data_ []

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

TPTPLexer::TPTPLexer ANTLR_USE_NAMESPACE(std) istream &  in  ) 
 

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

TPTPLexer::TPTPLexer ANTLR_USE_NAMESPACE(antlr) InputBuffer &  ib  ) 
 

TPTPLexer::TPTPLexer const ANTLR_USE_NAMESPACE(antlr) LexerSharedInputState &  state  ) 
 


Member Function Documentation

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

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

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

TPTPLexer::ANTLR_USE_NAMESPACE antlr   ) 
 

bool TPTPLexer::getCaseSensitiveLiterals  )  const
 

void TPTPLexer::initLiterals  )  [private]
 

void TPTPLexer::mAND bool  _createToken  ) 
 

void TPTPLexer::mCHARACTER bool  _createToken  )  [protected]
 

void TPTPLexer::mCOLON bool  _createToken  ) 
 

void TPTPLexer::mCOMMA bool  _createToken  ) 
 

void TPTPLexer::mCOMMENT_LINE bool  _createToken  ) 
 

void TPTPLexer::mDIGIT bool  _createToken  )  [protected]
 

void TPTPLexer::mDOT bool  _createToken  ) 
 

void TPTPLexer::mEXISTS bool  _createToken  ) 
 

void TPTPLexer::mFILE_NAME bool  _createToken  ) 
 

void TPTPLexer::mFORALL bool  _createToken  ) 
 

void TPTPLexer::mIFF bool  _createToken  ) 
 

void TPTPLexer::mIMP bool  _createToken  ) 
 

void TPTPLexer::mLBRA bool  _createToken  ) 
 

void TPTPLexer::mLOWER bool  _createToken  )  [protected]
 

void TPTPLexer::mLPAR bool  _createToken  ) 
 

void TPTPLexer::mMM bool  _createToken  ) 
 

void TPTPLexer::mNAME bool  _createToken  ) 
 

void TPTPLexer::mNOT bool  _createToken  ) 
 

void TPTPLexer::mNUMBER bool  _createToken  )  [protected]
 

void TPTPLexer::mOR bool  _createToken  ) 
 

void TPTPLexer::mPP bool  _createToken  ) 
 

void TPTPLexer::mQUOTE bool  _createToken  )  [protected]
 

void TPTPLexer::mRBRA bool  _createToken  ) 
 

void TPTPLexer::mRPAR bool  _createToken  ) 
 

void TPTPLexer::mSKIP_RULE bool  _createToken  ) 
 

void TPTPLexer::mUPPER bool  _createToken  )  [protected]
 

void TPTPLexer::mVAR bool  _createToken  ) 
 

void TPTPLexer::mWHITE bool  _createToken  )  [protected]
 

void TPTPLexer::mWORDCHAR bool  _createToken  )  [protected]
 

void TPTPLexer::mXOR bool  _createToken  ) 
 


Member Data Documentation

const unsigned long TPTPLexer::_tokenSet_0_data_ = { 4294966271UL, 4294967295UL, 4294967295UL, 4294967295UL, 4294967295UL, 4294967295UL, 4294967295UL, 4294967295UL, 0UL, 0UL, 0UL, 0UL, 0UL, 0UL, 0UL, 0UL } [static, private]
 

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

const unsigned long TPTPLexer::_tokenSet_2_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