Interface DiscretePartitionRefiner

    • Method Detail

      • getBest

        Permutation getBest()
        Get the best permutation found.
        Returns:
        the permutation that gives the maximal half-matrix string
      • getAutomorphismPartition

        Partition getAutomorphismPartition()
        The automorphism partition is a partition of the elements of the group.
        Returns:
        a partition of the elements of group
      • getAutomorphismGroup

        PermutationGroup getAutomorphismGroup()
        Get the automorphism group used to prune the search.
        Returns:
        the automorphism group
      • getFirst

        Permutation getFirst()
        Get the first permutation reached by the search.
        Returns:
        the first permutation reached
      • firstIsIdentity

        boolean firstIsIdentity()
        Check that the first refined partition is the identity.
        Returns:
        true if the first is the identity permutation