100644 blob 0900a2dcc0ca646b296982bfd4611f0c139f3e97	InvariantChecker.java
100644 blob a990877d38f3f9e6ca7e251b847e13d2575b1782	InvariantCheckerPlugin.java
100644 blob 667f850683ff138a66d8bcfe13eb9b3fcf4ad923	InvariantCheckerUtil.java
100644 blob 014f7dfd9958857f2f966cddc43ebe06b275d3b5	MatchIterator.java
100644 blob 5484cbeb5df3a9f8b12b0307c6f2166d80e1dd93	OptimizedSubgraphIterator.java
100644 blob cac8c304231798edfed1496f63b4d2f7124f79a9	PreferenceConstants.java
100644 blob 5964e3417712882f578e36761c36e5485355f50c	ProverDelegate.java.bak
100644 blob 5f8f22142bbfbece1aa0802fcb56775a926ce7a5	SubgraphIterator.java
040000 tree 01478ed871fe428643f69506d36024446f4c4a40	adapter
040000 tree 332177e4a7b55985d7f3f2699f9fed4d550ae5d3	algorithm
040000 tree a7e48889f9535dd5d4b96c227d760e9e45d94bdd	filter
040000 tree 7960d5bb2a2525f59279828d80d4f58fca632054	images