83 |
((ArrayList)net.get(a)).add(b); |
((ArrayList)net.get(a)).add(b); |
84 |
} |
} |
85 |
|
|
86 |
public Object put(Object a, Object pl, int depth) { |
public Object put(Object a, MMPlace pl, int depth) { |
87 |
return data.put(a, new MMNode(pl, depth)); |
return data.put(a, new MMNode(pl, depth)); |
88 |
} |
} |
89 |
|
|
92 |
return (MMNode)data.get(a); |
return (MMNode)data.get(a); |
93 |
} |
} |
94 |
|
|
95 |
public Object getPlace(Object a) { |
public MMPlace getPlace(Object a) { |
96 |
if (data.get(a) == null) return null; |
if (data.get(a) == null) return null; |
97 |
return ((MMNode)data.get(a)).object; |
return (MMPlace)((MMNode)data.get(a)).object; |
98 |
} |
} |
99 |
|
|
100 |
public int getDepth(Object a) { |
public int getDepth(Object a) { |
101 |
if (data.get(a) == null) return -1; |
if (data.get(a) == null) return -1; |
102 |
return ((MMNode)data.get(a)).depth; |
return ((MMNode)data.get(a)).depth; |
103 |
} |
} |