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

Public Member Functions

 ML_Box (MLFormula *phi)
- Public Member Functions inherited from OpenGraphtheory::Logic::ML_Forwarder
FormulaClone ()
VertexSet Interpretation (Graph &G)
- Public Member Functions inherited from OpenGraphtheory::Logic::MLFormula
void Interpret (Graph &G, std::list< std::string > parameters)

Additional Inherited Members

- Protected Attributes inherited from OpenGraphtheory::Logic::ML_Forwarder

The documentation for this class was generated from the following files:
  • sources/
  • sources/
Impressum, Datenschutzerklärung Contributors