il2.inf.mini
Class Partition

Object
  extended by 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
 
Constructor Summary
Partition(Index[] inds, int[] assignments)
           
 
Method Summary
static Partition miniPartition(Index[] indices, double maxSize)
           
static Partition miniPartition(List indices, double maxSize)
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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

Constructor Detail

Partition

public Partition(Index[] inds,
                 int[] assignments)
Method Detail

miniPartition

public static Partition miniPartition(List indices,
                                      double maxSize)

miniPartition

public static Partition miniPartition(Index[] indices,
                                      double maxSize)


Copyright 2010 UCLA Automated Reasoning Group