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

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

[legend]

List of all members.

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

---

Detailed Description

Interface for manipulation with RAG

Author:

Jan Kučera

---

Member Function Documentation

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

(

)

[package]

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

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

(

)

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

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

(

Object

obj

)

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

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