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

Public Member Functions

 CTL_Atomic (std::string *atomic_test_description)
FormulaClone ()
VertexSet Interpretation (Graph &G)
virtual bool Satisfies (Vertex *v)
- Public Member Functions inherited from OpenGraphtheory::Logic::CTLFormula
void Interpret (Graph &G, std::list< std::string > parameters)

Protected Attributes

std::string * test_description

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