AbstractDiscretePartitionRefiner implements DiscretePartitionRefiner { protected abstract int getVertexCount(); 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 getVertexCountTest() { int n = 10; Graph g = new Graph(n); MockRefiner refiner = new MockRefiner(g); Assert.assertEquals(g.vertexCount, refiner.getVertexCount()); }