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

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

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
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]

ResourceVertex cz::muni::stanse::threadchecker::graph::Assignment::getResource (  )  [inline]

boolean cz::muni::stanse::threadchecker::graph::Assignment::equals ( Object  obj  )  [inline]

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]

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

Generated on Thu Jan 13 16:24:10 2011 for Stanse by  doxygen 1.5.6