il2.model
Class Index.Partition

Object
  extended by Index.Partition
Enclosing class:
Index

public static class Index.Partition
extends Object


Field Summary
 Index[] indices
           
 int[] mappings
           
 
Constructor Summary
Index.Partition(Index[] inds, int[] assignments)
           
 
Method Summary
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

indices

public final Index[] indices

mappings

public final int[] mappings
Constructor Detail

Index.Partition

public Index.Partition(Index[] inds,
                       int[] assignments)


Copyright 2010 UCLA Automated Reasoning Group