il2.model
Class Index

Object
  extended by Index
All Implemented Interfaces:
SubDomain
Direct Known Subclasses:
Table, UaiEdgeCutter.MyIndex

public class Index
extends Object
implements SubDomain

Author:
James Park, Keith Cascio

Nested Class Summary
static class Index.Partition
           
 
Field Summary
static BigInteger BIGINTEGER_DOUBLE_MAX_VALUE
           
static BigInteger BIGINTEGER_INT_MAX_VALUE
           
static BigInteger BIGINTEGER_LONG_MAX_VALUE
           
 
Constructor Summary
Index(Domain d, int var)
           
Index(Domain d, IntSet variables)
           
Index(Index ind)
           
 
Method Summary
 int[] baselineIndex(Index subIndex)
           
 int[][] baselineOffsetIndex(Index subIndex)
           
 Index combineWith(Index ind)
           
 Index complementaryIndex(Index subIndex)
           
 Index complementaryIndex(IntSet subvars)
           
static Index createBigIndex(Collection indices)
           
 Domain domain()
           
 int[] flipChange(Index bigIndex)
           
 Index forgetIndex(Index ind)
           
 Index forgetIndex(int var)
           
 Index forgetIndex(IntSet fvars)
           
 int getIndexFromFullInstance(int[] inst)
           
static Index.Partition miniPartition(Index[] indices, int maxSize)
           
 int next(int[] current)
           
 int nextSafe(int[] current)
           
 int offset(IntMap vals)
           
 int[] offsetIndex(Index subIndex)
           
 Index separatorIndex(Index ind)
           
 void setFullInstanceFromIndex(int ind, int[] assignment)
           
 Index shrinkIndex(IntSet shrinkVars)
           
 BigInteger sizeBig()
           
 double sizeDouble()
           
 int sizeInt()
           
 long sizeLong()
           
 int[] sizes()
           
 int[] stepSizes()
           
 IntSet vars()
           
 String varString()
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

BIGINTEGER_INT_MAX_VALUE

public static final BigInteger BIGINTEGER_INT_MAX_VALUE

BIGINTEGER_LONG_MAX_VALUE

public static final BigInteger BIGINTEGER_LONG_MAX_VALUE

BIGINTEGER_DOUBLE_MAX_VALUE

public static final BigInteger BIGINTEGER_DOUBLE_MAX_VALUE
Constructor Detail

Index

public Index(Domain d,
             IntSet variables)

Index

public Index(Domain d,
             int var)

Index

public Index(Index ind)
Method Detail

domain

public Domain domain()
Specified by:
domain in interface SubDomain

vars

public IntSet vars()
Specified by:
vars in interface SubDomain

sizes

public int[] sizes()

stepSizes

public int[] stepSizes()

sizeInt

public int sizeInt()

sizeLong

public long sizeLong()
Since:
020305

sizeDouble

public double sizeDouble()
Since:
020805

sizeBig

public BigInteger sizeBig()
Since:
020305

baselineOffsetIndex

public int[][] baselineOffsetIndex(Index subIndex)

complementaryIndex

public final Index complementaryIndex(Index subIndex)

shrinkIndex

public final Index shrinkIndex(IntSet shrinkVars)

complementaryIndex

public final Index complementaryIndex(IntSet subvars)

offsetIndex

public int[] offsetIndex(Index subIndex)

baselineIndex

public int[] baselineIndex(Index subIndex)

next

public final int next(int[] current)

nextSafe

public final int nextSafe(int[] current)
Since:
20060222

flipChange

public int[] flipChange(Index bigIndex)

offset

public final int offset(IntMap vals)

createBigIndex

public static Index createBigIndex(Collection indices)

forgetIndex

public Index forgetIndex(int var)

forgetIndex

public Index forgetIndex(IntSet fvars)

forgetIndex

public Index forgetIndex(Index ind)

miniPartition

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

separatorIndex

public Index separatorIndex(Index ind)

combineWith

public Index combineWith(Index ind)

varString

public String varString()

getIndexFromFullInstance

public int getIndexFromFullInstance(int[] inst)

setFullInstanceFromIndex

public void setFullInstanceFromIndex(int ind,
                                     int[] assignment)


Copyright 2010 UCLA Automated Reasoning Group