001 package aima.logic.fol.inference.proof; 002 003 import java.util.ArrayList; 004 import java.util.Collections; 005 import java.util.List; 006 007 /** 008 * @author Ciaran O'Reilly 009 * 010 */ 011 public class ProofStepRenaming extends AbstractProofStep { 012 private List<ProofStep> predecessors = new ArrayList<ProofStep>(); 013 private Object proof = ""; 014 015 public ProofStepRenaming(Object proof, ProofStep predecessor) { 016 this.proof = proof; 017 this.predecessors.add(predecessor); 018 } 019 020 // 021 // START-ProofStep 022 public List<ProofStep> getPredecessorSteps() { 023 return Collections.unmodifiableList(predecessors); 024 } 025 026 public String getProof() { 027 return proof.toString(); 028 } 029 030 public String getJustification() { 031 return "Renaming of " + predecessors.get(0).getStepNumber(); 032 } 033 // END-ProofStep 034 // 035 }