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

Public Member Functions

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

Protected Attributes

MLFormulaphi1
 
MLFormulaphi2
 

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