aima.logic.fol
Class StandardizeApartResult

java.lang.Object
  aima.logic.fol.StandardizeApartResult

public class StandardizeApartResult
extends java.lang.Object

Constructor Summary

StandardizeApartResult(Sentence originalSentence, Sentence standardized, java.util.Map<Variable,Term> forwardSubstitution, java.util.Map<Variable,Term> reverseSubstitution)

Method Summary

java.util.Map<Variable,Term>	getForwardSubstitution()
Sentence	getOriginalSentence()
java.util.Map<Variable,Term>	getReverseSubstitution()
Sentence	getStandardized()

Methods inherited from class java.lang.Object

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

Constructor Detail

StandardizeApartResult

public StandardizeApartResult(Sentence originalSentence,
                              Sentence standardized,
                              java.util.Map<Variable,Term> forwardSubstitution,
                              java.util.Map<Variable,Term> reverseSubstitution)

Method Detail

getOriginalSentence

public Sentence getOriginalSentence()

getStandardized

public Sentence getStandardized()

getForwardSubstitution

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

getReverseSubstitution

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