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

Public Member Functions

void ModelCheck (Graph &G, std::istream &formula, std::list< std::string > parameters)
 
void ModelCheck (Graph &G, std::string formula, std::list< std::string > parameters)
 

Static Public Attributes

static Factory< ModelCheckerModelCheckerFactory
 

Protected Member Functions

virtual FormulaParse (std::istream &is)=0
 

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