AbstractDiscretePartitionRefiner implements DiscretePartitionRefiner { public void refine(Partition partition) { refine(this.group, partition); } 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 refineTest() { int n = 3; Graph g = new Graph(n); g.connectionTable = new int[][]{{0, 1, 1}, {1, 0, 0}, {1, 0, 0}}; PermutationGroup group = new PermutationGroup(n); MockRefiner refiner = new MockRefiner(g); setup(refiner, group, g); refiner.refine(Partition.unit(n)); Assert.assertNotNull(refiner); }