Free Software Foundation GPLv3 LGPL Electronic Frontier Foundation
Mozilla.org OpenOffice.org Linux.com
OpenGraphtheory::Logic::FOLexer Class Reference
Inheritance diagram for OpenGraphtheory::Logic::FOLexer:
Collaboration diagram for OpenGraphtheory::Logic::FOLexer:

Public Member Functions

int yylex (FOParser::semantic_type *lval)
 
 FOLexer (std::istream &is)
 

The documentation for this class was generated from the following files:
  • sources/opengt.so/Headers/logic/FirstOrderLogic/fo_lexer.h
  • sources/opengt.so/Sources/logic/FirstOrderLogic/fo_lexer.cpp
Contributors Disclaimer