001    package aima.logic.fol.inference.trace;
002    
003    /**
004     * @author Ciaran O'Reilly
005     * 
006     */
007    public interface FOLModelEliminationTracer {
008            void reset();
009            void increment(int depth, int noFarParents);
010    }