public interface DiscretePartitionRefiner
Modifier and Type | Method and Description |
---|---|
boolean |
firstIsIdentity()
Check that the first refined partition is the identity.
|
PermutationGroup |
getAutomorphismGroup()
Get the automorphism group used to prune the search.
|
Partition |
getAutomorphismPartition()
The automorphism partition is a partition of the elements of the group.
|
Permutation |
getBest()
Get the best permutation found.
|
Permutation |
getFirst()
Get the first permutation reached by the search.
|
Permutation getBest()
Partition getAutomorphismPartition()
PermutationGroup getAutomorphismGroup()
Permutation getFirst()
boolean firstIsIdentity()
Copyright © 2017. All Rights Reserved.