|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface NodeNumbering
A data structure which maps nodes to integers.
Method Summary | |
---|---|
void |
fill(int num)
Set the node number of all nodes to a given value. |
int |
getNumber(Node v)
Get the number of a single node. |
void |
init(Graph g)
Has to be invoked before the data structure can be used. |
void |
setNumber(Node v,
int num)
Set the number of a single node. |
Method Detail |
---|
void init(Graph g)
g
- the graph for which the NodeNumbering shall be defined.void fill(int num)
num
- the value which shall be set.void setNumber(Node v, int num)
v
- the nodenum
- the number to be setint getNumber(Node v)
v
-
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |