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

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

List of all members.

Public Member Functions

 ProcessVertex (String name)
String getName ()
void setName (String name)
String toDot ()
String toString ()
boolean equals (Object obj)
int hashCode ()

Detailed Description

Class represents one Process node in Resource Alloce graph
Jan Kučera

Constructor & Destructor Documentation

cz::muni::stanse::threadchecker::graph::ProcessVertex::ProcessVertex ( String  name  )  [inline]

Member Function Documentation

String cz::muni::stanse::threadchecker::graph::ProcessVertex::getName (  )  [inline]

void cz::muni::stanse::threadchecker::graph::ProcessVertex::setName ( String  name  )  [inline]

String cz::muni::stanse::threadchecker::graph::ProcessVertex::toDot (  )  [inline]

String cz::muni::stanse::threadchecker::graph::ProcessVertex::toString (  )  [inline]

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

int cz::muni::stanse::threadchecker::graph::ProcessVertex::hashCode (  )  [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