il2.model
Class Index
Object
Index
- All Implemented Interfaces:
- SubDomain
- Direct Known Subclasses:
- Table, UaiEdgeCutter.MyIndex
public class Index
- extends Object
- implements SubDomain
- Author:
- James Park, Keith Cascio
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
Index
public Index(Domain d,
IntSet variables)
Index
public Index(Domain d,
int var)
Index
public Index(Index ind)
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