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

Public Member Functions

void Interpret (Graph &G, std::list< std::string > parameters)
 
virtual VertexSet Interpretation (Graph &G)=0
 
- Public Member Functions inherited from OpenGraphtheory::Logic::Formula
virtual FormulaClone ()=0
 

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