AbstractDiscretePartitionRefiner implements DiscretePartitionRefiner { public boolean firstIsIdentity() { return this.first.isIdentity(); } 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 firstIsIdentityTest() { 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.assertTrue(refiner.firstIsIdentity()); }