|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
ObjectNodeLabels
public class NodeLabels
A map which is used for storing the node labels of a labelled dominance graph.
| Constructor Summary | |
|---|---|
NodeLabels()
|
|
| Method Summary | |
|---|---|
void |
addLabel(String node,
String label)
Adds a label for a given node. |
void |
clear()
Removes all node-label mappings from this map. |
boolean |
equals(Object obj)
|
String |
getLabel(String node)
Gets the label for a given node. |
int |
hashCode()
|
String |
toString()
|
| Methods inherited from class Object |
|---|
getClass, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public NodeLabels()
| Method Detail |
|---|
public void clear()
public void addLabel(String node,
String label)
node - the nodelabel - the label for this nodepublic String getLabel(String node)
node - a node
public String toString()
toString in class Objectpublic boolean equals(Object obj)
equals in class Objectpublic int hashCode()
hashCode in class Object
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||