Uses of Class
net.sf.bddbddb.BDDInferenceRule

Packages that use BDDInferenceRule
net.sf.bddbddb   
net.sf.bddbddb.order   
 

Uses of BDDInferenceRule in net.sf.bddbddb
 

Methods in net.sf.bddbddb with parameters of type BDDInferenceRule
 java.lang.String FindBestDomainOrder.bestOrders(BDDInferenceRule rule, int k)
          Generate the k best orders for the given inference rule and put the result in a string.
 EpisodeCollection FindBestDomainOrder.findEpisodeCollection(BDDInferenceRule rule, int opNumber)
           
 EpisodeCollection.Episode FindBestDomainOrder.getNewEpisode(BDDInferenceRule rule, int opNumber, long timeStamp, boolean newCollection)
          Starts a new trial collection and returns it.
 boolean FindBestDomainOrder.hasOrdersToTry(java.util.List allVars, BDDInferenceRule ir)
           
 

Uses of BDDInferenceRule in net.sf.bddbddb.order
 

Constructors in net.sf.bddbddb.order with parameters of type BDDInferenceRule
EpisodeCollection(BDDInferenceRule rule, int opNum)
          Construct a new collection of trials.
 



Copyright © 2004-2008 Stanford SUIF Compiler Group. All Rights Reserved.