aima.core.logic.fol.inference.trace.FOLModelEliminationTracer Maven / Gradle / Ivy
package aima.core.logic.fol.inference.trace;
/**
* @author Ciaran O'Reilly
*
*/
public interface FOLModelEliminationTracer {
void reset();
void increment(int depth, int noFarParents);
}