cz::muni::stanse::threadchecker::graph::Vertex Interface Reference

Inheritance diagram for cz::muni::stanse::threadchecker::graph::Vertex:

List of all members.

Public Member Functions

String getName ()
void setName (String name)
String toDot ()

Detailed Description

Interface for manipulation with RAG
Jan Kučera

Member Function Documentation

String cz::muni::stanse::threadchecker::graph::Vertex::getName (  ) 

void cz::muni::stanse::threadchecker::graph::Vertex::setName ( String  name  ) 

String cz::muni::stanse::threadchecker::graph::Vertex::toDot (  ) 

The documentation for this interface was generated from the following file:

Generated on Thu Jan 13 16:24:10 2011 for Stanse by  doxygen 1.5.6