Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

aima.logic.fol.inference.trace
Interface FOLModelEliminationTracer

public interface FOLModelEliminationTracer

Method Summary
 void increment(int depth, int noFarParents)
           
 void reset()
           
 

Method Detail

reset

void reset()

increment

void increment(int depth,
               int noFarParents)
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD