edu.ucla.belief.rc2.structure
Class RC2Index
Object
RC2Index
public final class RC2Index
- extends Object
This class represent an Index for RC2.
- Author:
- David Allen
vars
public final Set vars
RC2Index
public RC2Index(RC2 rc,
Collection vars)
RC2Index
public RC2Index(RC2 rc,
List vars,
long[] blkSz)
totalStateSpace
public BigInteger totalStateSpace()
memoryUsage
public int memoryUsage()
totalStateSpaceLargerThanInt
public boolean totalStateSpaceLargerThanInt()
blockSizeOfVar
public final long blockSizeOfVar(int varIndxInRC)
numVars
public final int numVars()
containsSameVars
public final boolean containsSameVars(Collection ret)
isSuperSetOf
public final boolean isSuperSetOf(RC2Index indx)
Copyright 2010 UCLA Automated Reasoning Group