added hashCode override in State and tested semi-fully

.metadata/.plugins/org.eclipse.core.resources/.history/1d/203b20fb388700151ace8a9637c977f8

@@ -0,0 +1,19 @@
+import java.util.HashMap;
+import java.util.Map;
+
+public class Main {
+
+	public static void main(String[] args) {
+		State s1 = new State("q1", "1");
+		State s2 = new State("q2", "2");
+		State s3 = new State("q1", "1");
+
+		Map<State, Integer> map = new HashMap<>();
+		map.put(s1, 1);
+		map.put(s2, 2);
+
+		System.out.println("contains: " + map.containsKey(s3));
+		System.out.println("get: " + map.get(s3));
+	}
+
+}

.metadata/.plugins/org.eclipse.core.resources/.history/25/90b7d16a3a8700151ace8a9637c977f8

@@ -0,0 +1,26 @@
+import java.util.HashMap;
+import java.util.Map;
+
+public class Main {
+
+	public static void main(String[] args) {
+		State s1 = new State("q1", "1");
+		State s2 = new State("q2", "2");
+		State s3 = new State("q1", "1");
+		State s4 = new State("q1", "1");
+		State s5 = new State("q1", "1");
+		State s6 = new State("q1", "1");
+
+		Map<State, Integer> map = new HashMap<>();
+		map.put(s1, 1);
+		map.put(s2, 2);
+
+		System.out.println("s1 hash: " + s1.hashCode());
+		System.out.println("s3 hash: " + s3.hashCode());
+
+		System.out.println("contains: " + map.containsKey(s3));
+		System.out.println("get: " + map.get(s3));
+
+	}
+
+}

.metadata/.plugins/org.eclipse.core.resources/.history/26/a07d3d80388700151ace8a9637c977f8

@@ -0,0 +1,18 @@
+import java.util.HashMap;
+import java.util.Map;
+
+public class Main {
+
+	public static void main(String[] args) {
+		State s1 = new State("q1", "1");
+		State s2 = new State("q2", "1");
+		State s3 = new State("q1", "1");
+
+		Map<State, Integer> map = new HashMap<>();
+		map.put(s1, 1);
+		map.put(s2, 2);
+
+		System.out.println(map.getKey(s3));
+	}
+
+}

.metadata/.plugins/org.eclipse.core.resources/.history/2d/90ac37cb388700151ace8a9637c977f8

@@ -0,0 +1,19 @@
+import java.util.HashMap;
+import java.util.Map;
+
+public class Main {
+
+	public static void main(String[] args) {
+		State s1 = new State("q1", "1");
+		State s2 = new State("q2", "2");
+		State s3 = new State("q1", "1");
+
+		Map<State, Integer> map = new HashMap<>();
+		map.put(s1, 1);
+		map.put(s2, 2);
+
+		System.out.println("contains " + map.containsKey(s3));
+		System.out.println("get " + map.get(s3));
+	}
+
+}

.metadata/.plugins/org.eclipse.core.resources/.history/2f/20059651398700151ace8a9637c977f8

@@ -0,0 +1,29 @@
+import java.util.HashMap;
+import java.util.Map;
+
+public class Main {
+
+	public static void main(String[] args) {
+		State s1 = new State("q1", "1");
+		State s2 = new State("q2", "2");
+		State s3 = new State("q1", "1");
+		State s4 = new State("q1", "1");
+		State s5 = new State("q1", "1");
+		State s6 = new State("q1", "1");
+
+		Map<State, Integer> map = new HashMap<>();
+		map.put(s1, 1);
+		map.put(s2, 2);
+
+		System.out.println("contains: " + map.containsKey(s3));
+		System.out.println("get: " + map.get(s3));
+
+		System.out.println("contains 4: " + map.containsKey(s4));
+		System.out.println("get 4: " + map.get(s4));
+		System.out.println("contains 5: " + map.containsKey(s5));
+		System.out.println("get: " + map.get(s5));
+		System.out.println("contains 6: " + map.containsKey(s6));
+		System.out.println("get: " + map.get(s6));
+	}
+
+}

.metadata/.plugins/org.eclipse.core.resources/.history/34/10cdeb103a8700151ace8a9637c977f8

@@ -0,0 +1,31 @@
+
+public class State {
+	private String q;
+	private String input;
+
+	public State(String q, String input){
+		this.q = q;
+		this.input = input;
+	}
+
+	public String getState(){
+		return q;
+	}
+
+	public String getInput(){
+		return input;
+	}
+
+	@Override
+	public boolean equals(Object o){
+		if( o instanceof State){
+			return(this.q.equals(((State) o).getState()) && this.input.equals(((State) o).getInput()));
+		}
+		return false;
+	} 
+
+	@Override public int hashCode() {
+        return (41 * (41 + getState().length()) + getInput().length());
+    }
+
+}

.metadata/.plugins/org.eclipse.core.resources/.history/4d/a08c4cba3a8700151ace8a9637c977f8

@@ -0,0 +1,33 @@
+import java.util.HashMap;
+import java.util.Map;
+
+public class Main {
+
+	public static void main(String[] args) {
+		State s1 = new State("q1", '1');
+		State s2 = new State("q2", '2');
+		State s3 = new State("q1", '1');
+		State s4 = new State("q1", '1');
+		State s5 = new State("q3", '1');
+		State s6 = new State("q1", '1');
+
+		Map<State, Integer> map = new HashMap<>();
+		map.put(s1, 1);
+		map.put(s2, 2);
+		map.put(s4, 3);
+
+		System.out.println("s1 hash: " + s1.hashCode());
+		System.out.println("s3 hash: " + s3.hashCode());
+
+		System.out.println("s4 hash: " + s4.hashCode());
+		System.out.println("s5 hash: " + s5.hashCode());
+
+		System.out.println("contains: " + map.containsKey(s3));
+		System.out.println("get: " + map.get(s3));
+
+		System.out.println("contains: " + map.containsKey(s5));
+		System.out.println("get: " + map.get(s5));
+
+	}
+
+}

.metadata/.plugins/org.eclipse.core.resources/.history/55/102747293a8700151ace8a9637c977f8

@@ -0,0 +1,31 @@
+
+public class State {
+	private String q;
+	private String input;
+
+	public State(String q, String input){
+		this.q = q;
+		this.input = input;
+	}
+
+	public String getState(){
+		return q;
+	}
+
+	public String getInput(){
+		return input;
+	}
+
+	@Override
+	public boolean equals(Object o){
+		if( o instanceof State){
+			return(this.q.equals(((State) o).getState()) && this.input.equals(((State) o).getInput()));
+		}
+		return false;
+	} 
+
+	@Override public int hashCode() {
+        return (41 * (41 + getState().length()) + 7 * getInput().length());
+    }
+
+}

.metadata/.plugins/org.eclipse.core.resources/.history/57/101d1675388700151ace8a9637c977f8

@@ -0,0 +1,9 @@
+
+public class Main {
+
+	public static void main(String[] args) {
+		// TODO Auto-generated method stub
+
+	}
+
+}

.metadata/.plugins/org.eclipse.core.resources/.history/6/905a54f43a8700151ace8a9637c977f8

@@ -0,0 +1,36 @@
+import java.util.HashMap;
+import java.util.Map;
+
+public class HashTest {
+
+	public static void main(String[] args) {
+		State s1 = new State("q1", '1');
+		State s2 = new State("q2", '2');
+		State s3 = new State("q1", '1');
+		State s4 = new State("q1", '1');
+		State s5 = new State("q3", '1');
+		State s6 = new State("q1", '1');
+
+		Map<State, Integer> map = new HashMap<>();
+		map.put(s1, 1);
+		map.put(s2, 2);
+		map.put(s4, 3);
+
+		System.out.println("s1 hash: " + s1.hashCode());
+		System.out.println("s3 hash: " + s3.hashCode());
+
+		System.out.println("s4 hash: " + s4.hashCode());
+		System.out.println("s5 hash: " + s5.hashCode());
+
+		System.out.println("contains: " + map.containsKey(s3));
+		System.out.println("get: " + map.get(s3));
+
+		System.out.println("contains: " + map.containsKey(s5));
+		System.out.println("get: " + map.get(s5));
+
+		/*
+		 * s1 = s4
+		 */
+	}
+
+}

.metadata/.plugins/org.eclipse.core.resources/.history/72/104f6fc6388700151ace8a9637c977f8

@@ -0,0 +1,18 @@
+import java.util.HashMap;
+import java.util.Map;
+
+public class Main {
+
+	public static void main(String[] args) {
+		State s1 = new State("q1", "1");
+		State s2 = new State("q2", "1");
+		State s3 = new State("q1", "1");
+
+		Map<State, Integer> map = new HashMap<>();
+		map.put(s1, 1);
+		map.put(s2, 2);
+
+		System.out.println(map.get(s3));
+	}
+
+}

.metadata/.plugins/org.eclipse.core.resources/.history/72/10f984133b8700151ace8a9637c977f8

@@ -0,0 +1,40 @@
+import java.util.HashMap;
+import java.util.Map;
+
+public class HashTest {
+
+	public static void main(String[] args) {
+		State s1 = new State("q1", '1');
+		State s2 = new State("q2", '2');
+		State s3 = new State("q1", '1');
+		State s4 = new State("q1", '2');
+		State s5 = new State("q1", '2');
+		State s6 = new State("q1", '1');
+
+		Map<State, Integer> map = new HashMap<>();
+		map.put(s1, 1);
+		map.put(s2, 2);
+		map.put(s4, 3);
+
+		System.out.println("s1 hash: " + s1.hashCode());
+		System.out.println("s3 hash: " + s3.hashCode());
+
+		System.out.println("s4 hash: " + s4.hashCode());
+		System.out.println("s5 hash: " + s5.hashCode());
+
+		System.out.println("contains: " + map.containsKey(s3));
+		System.out.println("get: " + map.get(s3));
+
+		System.out.println("contains: " + map.containsKey(s5));
+		System.out.println("get: " + map.get(s5));
+
+		/*
+		 * s1 = s4 = (q1, 1), s5 = (q3, 1) 
+		 * s3 = true, 3, s5 = false
+		 * 
+		 * s1 = (q1, 1), s4 = (q3, 1), s5 = (q3, 1) 
+		 * s3 = true, 1, s5 = true, 3
+		 */
+	}
+
+}

.metadata/.plugins/org.eclipse.core.resources/.history/78/102906953a8700151ace8a9637c977f8

@@ -0,0 +1,33 @@
+import java.util.HashMap;
+import java.util.Map;
+
+public class Main {
+
+	public static void main(String[] args) {
+		State s1 = new State("q1", '1');
+		State s2 = new State("q2", '2');
+		State s3 = new State("q1", '1');
+		State s4 = new State("q1", '1');
+		State s5 = new State("q1", '1');
+		State s6 = new State("q1", '1');
+
+		Map<State, Integer> map = new HashMap<>();
+		map.put(s1, 1);
+		map.put(s2, 2);
+		map.put(s4, 3);
+
+		System.out.println("s1 hash: " + s1.hashCode());
+		System.out.println("s3 hash: " + s3.hashCode());
+
+		System.out.println("s4 hash: " + s4.hashCode());
+		System.out.println("s5 hash: " + s5.hashCode());
+
+		System.out.println("contains: " + map.containsKey(s3));
+		System.out.println("get: " + map.get(s3));
+
+		System.out.println("contains: " + map.containsKey(s5));
+		System.out.println("get: " + map.get(s5));
+
+	}
+
+}

.metadata/.plugins/org.eclipse.core.resources/.history/80/a07c1775388700151ace8a9637c977f8

@@ -0,0 +1,4 @@
+
+public class State {
+
+}

.metadata/.plugins/org.eclipse.core.resources/.history/9b/a0fd4eba3a8700151ace8a9637c977f8

@@ -0,0 +1,36 @@
+import java.util.HashMap;
+import java.util.Map;
+
+public class HashTest {
+
+	public static void main(String[] args) {
+		State s1 = new State("q1", '1');
+		State s2 = new State("q2", '2');
+		State s3 = new State("q1", '1');
+		State s4 = new State("q1", '1');
+		State s5 = new State("q3", '1');
+		State s6 = new State("q1", '1');
+
+		Map<State, Integer> map = new HashMap<>();
+		map.put(s1, 1);
+		map.put(s2, 2);
+		map.put(s4, 3);
+
+		System.out.println("s1 hash: " + s1.hashCode());
+		System.out.println("s3 hash: " + s3.hashCode());
+
+		System.out.println("s4 hash: " + s4.hashCode());
+		System.out.println("s5 hash: " + s5.hashCode());
+
+		System.out.println("contains: " + map.containsKey(s3));
+		System.out.println("get: " + map.get(s3));
+
+		System.out.println("contains: " + map.containsKey(s5));
+		System.out.println("get: " + map.get(s5));
+
+		/*
+		 * 
+		 */
+	}
+
+}