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

Inheritance diagram for cz::muni::stanse::threadchecker::graph::Vertex:
[legend]

List of all members.

Public Member Functions

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


Detailed Description

Interface for manipulation with RAG
Author:
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