Free Software Foundation GPLv3 LGPL Electronic Frontier Foundation
OpenGraphtheory::Logic::FOFormula Class Referenceabstract
Inheritance diagram for OpenGraphtheory::Logic::FOFormula:
Collaboration diagram for OpenGraphtheory::Logic::FOFormula:

Public Member Functions

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

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