001    package aima.logic.fol;
002    
003    import java.util.Map;
004    
005    import aima.logic.fol.parsing.ast.Sentence;
006    import aima.logic.fol.parsing.ast.Term;
007    import aima.logic.fol.parsing.ast.Variable;
008    
009    /**
010     * @author Ciaran O'Reilly
011     * 
012     */
013    public class StandardizeApartResult {
014            private Sentence originalSentence = null;
015            private Sentence standardized = null;
016            private Map<Variable, Term> forwardSubstitution = null;
017            private Map<Variable, Term> reverseSubstitution = null;
018    
019            public StandardizeApartResult(Sentence originalSentence,
020                            Sentence standardized, Map<Variable, Term> forwardSubstitution,
021                            Map<Variable, Term> reverseSubstitution) {
022                    this.originalSentence = originalSentence;
023                    this.standardized = standardized;
024                    this.forwardSubstitution = forwardSubstitution;
025                    this.reverseSubstitution = reverseSubstitution;
026            }
027    
028            public Sentence getOriginalSentence() {
029                    return originalSentence;
030            }
031    
032            public Sentence getStandardized() {
033                    return standardized;
034            }
035    
036            public Map<Variable, Term> getForwardSubstitution() {
037                    return forwardSubstitution;
038            }
039    
040            public Map<Variable, Term> getReverseSubstitution() {
041                    return reverseSubstitution;
042            }
043    }