edu.ucla.belief.recursiveconditioning
Class CachingDFBnB.DFBnB_TmpVars

Object
  extended by CachingDFBnB.DFBnB_TmpVars
Enclosing class:
CachingDFBnB

public static class CachingDFBnB.DFBnB_TmpVars
extends Object


Constructor Summary
CachingDFBnB.DFBnB_TmpVars(RC rc, CachingDFBnB.OrderingAlgo orderAlgo)
           
 
Method Summary
 CachingDFBnB.CacheFactorInstance cfi()
           
 long dfbnbTime_ms()
           
 long numSearchCalls()
           
 CachingDFBnB.SearchGraph sg()
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CachingDFBnB.DFBnB_TmpVars

public CachingDFBnB.DFBnB_TmpVars(RC rc,
                                  CachingDFBnB.OrderingAlgo orderAlgo)
Method Detail

cfi

public CachingDFBnB.CacheFactorInstance cfi()

numSearchCalls

public long numSearchCalls()

dfbnbTime_ms

public long dfbnbTime_ms()

sg

public CachingDFBnB.SearchGraph sg()


Copyright 2010 UCLA Automated Reasoning Group