nodetonode=new Hashtable();
constructnodes();
}
-
+
public Set computeOrdering() {
HashSet allnodes=new HashSet();
allnodes.addAll(constnodes);
return g1.getFinishingTime() - g2.getFinishingTime();
}
});
-
+
topologicalsort.addAll(constnodes);
return topologicalsort;
}
constnodes.add(gn);
}
}
-
+
private void constructconjunctionnodes(Termination termination) {
/*for(Iterator it=termination.conjunctions.iterator();it.hasNext();) {
GraphNode conjnode=(GraphNode)it.next();
GraphNode conjnode=(GraphNode)it.next();
if (removedset.contains(conjnode))
continue;
-
+
TermNode tn=(TermNode)conjnode.getOwner();
Conjunction conj=tn.getConjunction();
for(int i=0;i<conj.size();i++) {
}
return foundrule;
}
-
+
static private Set providesfunction(State state, Function f) {
return providesfunction(state,f,false);
}