aima.logic.fol.inference.trace
Interface FOLTFMResolutionTracer

public interface FOLTFMResolutionTracer

Method Summary

void	stepFinished(java.util.Set<Clause> clauses, InferenceResult result)
void	stepInnerFor(Clause i, Clause j)
void	stepOuterFor(Clause i)
void	stepResolved(Clause iFactor, Clause jFactor, java.util.Set<Clause> resolvents)
void	stepStartWhile(java.util.Set<Clause> clauses, int totalNoClauses, int totalNoNewCandidateClauses)

Method Detail

stepStartWhile

void stepStartWhile(java.util.Set<Clause> clauses,
                    int totalNoClauses,
                    int totalNoNewCandidateClauses)

stepOuterFor

void stepOuterFor(Clause i)

stepInnerFor

void stepInnerFor(Clause i,
                  Clause j)

stepResolved

void stepResolved(Clause iFactor,
                  Clause jFactor,
                  java.util.Set<Clause> resolvents)

stepFinished

void stepFinished(java.util.Set<Clause> clauses,
                  InferenceResult result)