il2.inf.mini
Class Partition
Object
Partition
public class Partition
- extends Object
Field Summary |
Index[] |
indices
The index of each partition |
int[] |
mappings
The partition that each of the initial members was assigned to |
indices
public final Index[] indices
- The index of each partition
mappings
public final int[] mappings
- The partition that each of the initial members was assigned to
Partition
public Partition(Index[] inds,
int[] assignments)
miniPartition
public static Partition miniPartition(List indices,
double maxSize)
miniPartition
public static Partition miniPartition(Index[] indices,
double maxSize)
Copyright 2010 UCLA Automated Reasoning Group