aima.logic.fol.inference.proof
Interface Proof

All Known Implementing Classes:

ProofFinal

public interface Proof

Method Summary

java.util.Map<Variable,Term>	getAnswerBindings()
java.util.List<ProofStep>	getSteps()
void	replaceAnswerBindings(java.util.Map<Variable,Term> updatedBindings)

Method Detail

getSteps

java.util.List<ProofStep> getSteps()

Returns:

A list of proof steps that show how an answer was derived.

getAnswerBindings

java.util.Map<Variable,Term> getAnswerBindings()

Returns:

a Map of bindings for any variables that were in the original query. Will be an empty Map if no variables existed in the original query.

replaceAnswerBindings

void replaceAnswerBindings(java.util.Map<Variable,Term> updatedBindings)

Parameters:

updatedBindings - allows for the bindings to be renamed. Note: should not be used for any other reason.