aima.logic.fol.inference.proof
Class AbstractProofStep

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

All Implemented Interfaces:

ProofStep

Direct Known Subclasses:

ProofStepBwChGoal, ProofStepChainCancellation, ProofStepChainContrapositive, ProofStepChainDropped, ProofStepChainFromClause, ProofStepChainReduction, ProofStepClauseBinaryResolvent, ProofStepClauseClausifySentence, ProofStepClauseDemodulation, ProofStepClauseFactor, ProofStepClauseParamodulation, ProofStepFoChAlreadyAFact, ProofStepFoChAssertFact, ProofStepGoal, ProofStepPremise, ProofStepRenaming

public abstract class AbstractProofStep
extends java.lang.Object
implements ProofStep

Constructor Summary

AbstractProofStep()

Method Summary

abstract java.lang.String	getJustification()
abstract java.util.List<ProofStep>	getPredecessorSteps()
abstract java.lang.String	getProof()
int	getStepNumber()
void	setStepNumber(int step)

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractProofStep

public AbstractProofStep()

Method Detail

getStepNumber

public int getStepNumber()

Specified by:

getStepNumber in interface ProofStep

setStepNumber

public void setStepNumber(int step)

Specified by:

setStepNumber in interface ProofStep

getPredecessorSteps

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

Specified by:

getPredecessorSteps in interface ProofStep

getProof

public abstract java.lang.String getProof()

Specified by:

getProof in interface ProofStep

getJustification

public abstract java.lang.String getJustification()

Specified by:

getJustification in interface ProofStep