Public Member Functions | |
String | getName () |
void | setName (String name) |
String | toDot () |
String cz::muni::stanse::threadchecker::graph::Vertex::getName | ( | ) |
void cz::muni::stanse::threadchecker::graph::Vertex::setName | ( | String | name | ) |
String cz::muni::stanse::threadchecker::graph::Vertex::toDot | ( | ) |