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

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

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

(

)

Implemented in cz.muni.stanse.threadchecker.graph.ResourceVertex, and cz.muni.stanse.threadchecker.graph.ProcessVertex.

void cz.muni.stanse.threadchecker.graph.Vertex.setName

(

String

name

)

Implemented in cz.muni.stanse.threadchecker.graph.ResourceVertex, and cz.muni.stanse.threadchecker.graph.ProcessVertex.

String cz.muni.stanse.threadchecker.graph.Vertex.toDot

(

)

Implemented in cz.muni.stanse.threadchecker.graph.ResourceVertex, and cz.muni.stanse.threadchecker.graph.ProcessVertex.

---

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

• src/cz/muni/stanse/threadchecker/graph/Vertex.java