aima.logic.fol.inference.proof
Class ProofStepBwChGoal

java.lang.Object
  aima.logic.fol.inference.proof.AbstractProofStep
      aima.logic.fol.inference.proof.ProofStepBwChGoal

All Implemented Interfaces:

ProofStep

public class ProofStepBwChGoal
extends AbstractProofStep

Constructor Summary

ProofStepBwChGoal(Clause toProve, Literal currentGoal, java.util.Map<Variable,Term> bindings)

Method Summary

java.util.Map<Variable,Term>	getBindings()
java.lang.String	getJustification()
java.util.List<ProofStep>	getPredecessorSteps()
java.lang.String	getProof()
void	setPredecessor(ProofStep predecessor)

Methods inherited from class aima.logic.fol.inference.proof.AbstractProofStep

getStepNumber, setStepNumber

Methods inherited from class java.lang.Object

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

Constructor Detail

ProofStepBwChGoal

public ProofStepBwChGoal(Clause toProve,
                         Literal currentGoal,
                         java.util.Map<Variable,Term> bindings)

Method Detail

getBindings

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

setPredecessor

public void setPredecessor(ProofStep predecessor)

getPredecessorSteps

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

Specified by:

getPredecessorSteps in interface ProofStep

Specified by:

getPredecessorSteps in class AbstractProofStep

getProof

public java.lang.String getProof()

Specified by:

getProof in interface ProofStep

Specified by:

getProof in class AbstractProofStep

getJustification

public java.lang.String getJustification()

Specified by:

getJustification in interface ProofStep

Specified by:

getJustification in class AbstractProofStep