public void setAsVisited(AbstractElement e) {
if (e instanceof Edge) {
if (e.getVisitedKey() < 1) {
numOfCoveredEdges++;
}
} else if (e instanceof Vertex) {
if (e.getVisitedKey() < 1) {
numOfCoveredVertices++;
}
}
e.setVisitedKey(e.getVisitedKey() + 1);
if (!e.getReqTagKey().isEmpty()) {
Hashtable<String, Integer> reqs = getAllRequirements();
String[] tags = e.getReqTagKey().split(",");
for (String tag : tags) {
reqs.put(tag, reqs.get(tag) + 1);
}
}
}
public void setAsUnvisited(AbstractElement e) {
Integer visits = e.getVisitedKey();
e.setVisitedKey(e.getVisitedKey() - 1);
if (e instanceof Edge) {
if (e.getVisitedKey() < 1) {
numOfCoveredEdges--;
}
} else if (e instanceof Vertex) {
if (e.getVisitedKey() < 1) {
numOfCoveredVertices--;
}
}
if (visits <= 0) logger.error(e + ", has a negative number in VISITED_KEY");
if (!e.getReqTagKey().isEmpty()) {
Hashtable<String, Integer> reqs = getAllRequirements();
String[] tags = e.getReqTagKey().split(",");
for (String tag : tags) {
reqs.put(tag, reqs.get(tag) - 1);
}
}
}
