Open mtfishman opened 5 months ago
Consider renaming PartitionVertex to Partition.
PartitionVertex
Partition
Consider renaming
PartitionVertex
toPartition
.