il2.inf.rc
Class RC

Object
  extended by RC

public class RC
extends Object


Constructor Summary
RC(DGraph dg, Table[] leafValues)
           
 
Method Summary
 void allocateCaches(Set caches)
           
 DGraph dgraph()
           
 Domain domain()
           
 void fullCaching()
           
 Table getIncoming(int tableIndex)
           
 Table getTable(int leafInd)
           
 void invalidate(int tableIndex)
           
 void setTable(int leafInd, Table t)
           
 double value()
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RC

public RC(DGraph dg,
          Table[] leafValues)
Method Detail

fullCaching

public void fullCaching()

allocateCaches

public void allocateCaches(Set caches)

invalidate

public void invalidate(int tableIndex)

value

public double value()

getIncoming

public Table getIncoming(int tableIndex)

setTable

public void setTable(int leafInd,
                     Table t)

getTable

public Table getTable(int leafInd)

domain

public Domain domain()

dgraph

public DGraph dgraph()


Copyright 2010 UCLA Automated Reasoning Group