Public Member Functions | |
ProcessVertex (String name) | |
String | getName () |
void | setName (String name) |
String | toDot () |
String | toString () |
boolean | equals (Object obj) |
int | hashCode () |
cz::muni::stanse::threadchecker::graph::ProcessVertex::ProcessVertex | ( | String | name | ) | [inline] |
String cz::muni::stanse::threadchecker::graph::ProcessVertex::getName | ( | ) | [inline] |
Implements cz::muni::stanse::threadchecker::graph::Vertex.
void cz::muni::stanse::threadchecker::graph::ProcessVertex::setName | ( | String | name | ) | [inline] |
Implements cz::muni::stanse::threadchecker::graph::Vertex.
String cz::muni::stanse::threadchecker::graph::ProcessVertex::toDot | ( | ) | [inline] |
Implements cz::muni::stanse::threadchecker::graph::Vertex.
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] |