Free Software Foundation GPLv3 LGPL Electronic Frontier Foundation
OpenGraphtheory::Logic::CTLModelChecker Class Reference
Inheritance diagram for OpenGraphtheory::Logic::CTLModelChecker:
Collaboration diagram for OpenGraphtheory::Logic::CTLModelChecker:

Public Member Functions

FormulaParse (std::istream &formula)
- Public Member Functions inherited from OpenGraphtheory::Logic::ModelChecker
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 Protected Attributes

static FactoryRegistrator
< ModelChecker

Additional Inherited Members

- Static Public Attributes inherited from OpenGraphtheory::Logic::ModelChecker
static Factory< ModelCheckerModelCheckerFactory

The documentation for this class was generated from the following files:
  • sources/
  • sources/
Contributors Disclaimer