aima.core.logic.fol

Class StandardizeApartResult

java.lang.Object

aima.core.logic.fol.StandardizeApartResult

public class StandardizeApartResult
extends java.lang.Object

Author:

Ciaran O'Reilly

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
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()