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

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

Public Member Functions
Vertex	getResource ()
Vertex	getProcess ()
boolean	equals (Object obj)
String	toDot ()

Detailed Description

Interface for manipulation with RAG

Author

Jan Kučera

Member Function Documentation

equals()

boolean cz.muni.stanse.threadchecker.graph.Edge.equals

(

Object

obj

)

Implemented in cz.muni.stanse.threadchecker.graph.Request, and cz.muni.stanse.threadchecker.graph.Assignment.

getProcess()

Vertex cz.muni.stanse.threadchecker.graph.Edge.getProcess

(

)

Implemented in cz.muni.stanse.threadchecker.graph.Request, and cz.muni.stanse.threadchecker.graph.Assignment.

getResource()

Vertex cz.muni.stanse.threadchecker.graph.Edge.getResource

(

)

Implemented in cz.muni.stanse.threadchecker.graph.Request, and cz.muni.stanse.threadchecker.graph.Assignment.

toDot()

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

(

)

Implemented in cz.muni.stanse.threadchecker.graph.Assignment, and cz.muni.stanse.threadchecker.graph.Request.

---

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

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