cz::muni::stanse::threadchecker::graph::Assignment Class Reference

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

[legend]

Collaboration diagram for cz::muni::stanse::threadchecker::graph::Assignment:

[legend]

List of all members.

Public Member Functions
ProcessVertex	getProcess ()
ResourceVertex	getResource ()
boolean	equals (Object obj)
int	hashCode ()
String	toString ()
String	toDot ()
Package Functions
	Assignment (Vertex resource, Vertex process)

---

Detailed Description

Class represents assignment edge in Resource Allocate graph

Author:

Jan Kučera

---

Constructor & Destructor Documentation

cz::muni::stanse::threadchecker::graph::Assignment::Assignment	(	Vertex	resource,
		Vertex	process
	)			[inline, package]

---

Member Function Documentation

ProcessVertex cz::muni::stanse::threadchecker::graph::Assignment::getProcess

(

)

[inline]

Implements cz::muni::stanse::threadchecker::graph::Edge.

ResourceVertex cz::muni::stanse::threadchecker::graph::Assignment::getResource

(

)

[inline]

Implements cz::muni::stanse::threadchecker::graph::Edge.

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

(

Object

obj

)

[inline]

Implements cz::muni::stanse::threadchecker::graph::Edge.

int cz::muni::stanse::threadchecker::graph::Assignment::hashCode

(

)

[inline]

String cz::muni::stanse::threadchecker::graph::Assignment::toString

(

)

[inline]

String cz::muni::stanse::threadchecker::graph::Assignment::toDot

(

)

[inline]

Implements cz::muni::stanse::threadchecker::graph::Edge.

---

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

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