Update to Reduction()

This simply removes minimise() from the reduce inner loop, as I believe
that this is unnecessary and potentially quite expensive.

Author: DavePearce

src/wyrw/core/Reduction.java

@@ -26,6 +26,9 @@ public Reduction(Schema schema, Comparator<Rewrite.Activation> comparator,
 		cache = new HashMap<Automaton,Integer>();
 	}
 
+	/**
+	 * Automaton should be minimised
+	 */
 	public int initialise(Automaton automaton) {
 		states.add(probe(automaton));
 		return states.size()-1;
@@ -40,7 +43,6 @@ public int step(int from, int activation) {
 		int to;
 		if (target != Automaton.K_VOID && from != target) {
 			// Rule application produced an updated automaton
-			automaton.minimise(); // needed?
 			automaton.compact(0);
 			to = addState(automaton);
 			if(to >= states.size()) {