edu.ucla.belief.recursiveconditioning
Class CachingDFBnB.DFBnB_TmpVars
Object
CachingDFBnB.DFBnB_TmpVars
- Enclosing class:
- CachingDFBnB
public static class CachingDFBnB.DFBnB_TmpVars
- extends Object
CachingDFBnB.DFBnB_TmpVars
public CachingDFBnB.DFBnB_TmpVars(RC rc,
CachingDFBnB.OrderingAlgo orderAlgo)
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