aima.logic.fol.inference.proof
Interface ProofStep

All Known Implementing Classes:

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

public interface ProofStep

Method Summary

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

Method Detail

getStepNumber

int getStepNumber()

setStepNumber

void setStepNumber(int step)

getPredecessorSteps

java.util.List<ProofStep> getPredecessorSteps()

getProof

java.lang.String getProof()

getJustification

java.lang.String getJustification()