aima.logic.fol.inference.proof
Class ProofFinal

java.lang.Object
  aima.logic.fol.inference.proof.ProofFinal

All Implemented Interfaces:

Proof

public class ProofFinal
extends java.lang.Object
implements Proof

Constructor Summary

ProofFinal(ProofStep finalStep, java.util.Map<Variable,Term> answerBindings)

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ProofFinal

public ProofFinal(ProofStep finalStep,
                  java.util.Map<Variable,Term> answerBindings)

Method Detail

getSteps

public java.util.List<ProofStep> getSteps()

Specified by:

getSteps in interface Proof

Returns:

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

getAnswerBindings

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

Specified by:

getAnswerBindings in interface Proof

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

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

Specified by:

replaceAnswerBindings in interface Proof

Parameters:

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object