myGraph = graph;
}
public void addFace(Face face) {
ListSequence.fromList(myFaces).addElement(face);
for (Dart dart : ListSequence.fromList(face.getDarts())) {
<BUG>Edge edge = dart.getEdge();
if (MapSequence.fromMap(myAdjacentFacesMap).get(edge) == null) {</BUG>
MapSequence.fromMap(myAdjacentFacesMap).put(edge, ListSequence.fromList(new ArrayList<Face>()));
}
ListSequence.fromList(MapSequence.fromMap(myAdjacentFacesMap).get(edge)).addElement(face);

myGraph = graph;
}
public void addFace(Face face) {
ListSequence.fromList(myFaces).addElement(face);
for (Dart dart : ListSequence.fromList(face.getDarts())) {
Edge edge = dart.getEdge();
this.adjustEdge(edge, face);
}
}
private void adjustEdge(Edge edge, Face face) {
if (MapSequence.fromMap(myAdjacentFacesMap).get(edge) == null) {
MapSequence.fromMap(myAdjacentFacesMap).put(edge, ListSequence.fromList(new ArrayList<Face>()));
}
ListSequence.fromList(MapSequence.fromMap(myAdjacentFacesMap).get(edge)).addElement(face);
