edu.ucla.belief.rc2.structure
Class RC2Index

Object
  extended by RC2Index

public final class RC2Index
extends Object

This class represent an Index for RC2.

Author:
David Allen

Field Summary
 Set vars
           
 
Constructor Summary
RC2Index(RC2 rc, Collection vars)
           
RC2Index(RC2 rc, List vars, long[] blkSz)
           
 
Method Summary
 long blockSizeOfVar(int varIndxInRC)
           
 boolean containsSameVars(Collection ret)
           
 boolean isSuperSetOf(RC2Index indx)
           
 int memoryUsage()
           
 int numVars()
           
 BigInteger totalStateSpace()
           
 boolean totalStateSpaceLargerThanInt()
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

vars

public final Set vars
Constructor Detail

RC2Index

public RC2Index(RC2 rc,
                Collection vars)

RC2Index

public RC2Index(RC2 rc,
                List vars,
                long[] blkSz)
Method Detail

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