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

Public Member Functions

 FO_Atomic (std::string *relation, FO_Parameter *parameters)
 
FormulaClone ()
 
bool EdgeMatchesRelation (Edge *e, std::string relation)
 
bool Interpretation (Graph &G, std::map< std::string, Vertex * > &VariableAssignment)
 
- Public Member Functions inherited from OpenGraphtheory::Logic::FOFormula
void Interpret (Graph &G, std::list< std::string > parameters)
 

Protected Attributes

std::string * relation
 
std::list< std::string > parameters
 

The documentation for this class was generated from the following files:
  • sources/opengt.so/Headers/logic/FirstOrderLogic/fo.h
  • sources/opengt.so/Sources/logic/FirstOrderLogic/fo.cpp
Impressum, Datenschutzerklärung Contributors