AbstractDiscretePartitionRefiner implements DiscretePartitionRefiner { public String getFirstHalfMatrixString() { return getHalfMatrixString(first); } AbstractDiscretePartitionRefiner(); void setup(PermutationGroup group, EquitablePartitionRefiner refiner); boolean firstIsIdentity(); Partition getAutomorphismPartition(); String getFirstHalfMatrixString(); String getHalfMatrixString(); PermutationGroup getAutomorphismGroup(); Permutation getBest(); Permutation getFirst(); boolean isCanonical(); void refine(Partition partition);  }
@Test public void getFirstHalfMatrixStringTest() { int n = 3; Graph g = new Graph(n); g.connectionTable = new int[][]{{0, 0, 1}, {0, 0, 1}, {1, 1, 0}}; PermutationGroup group = new PermutationGroup(n); MockRefiner refiner = new MockRefiner(g); setup(refiner, group, g); refiner.refine(Partition.unit(n)); String hms = refiner.getFirstHalfMatrixString(); String expected = "110"; Assert.assertEquals(expected, hms); }