aima.core.logic.fol.StandardizeApartResult Maven / Gradle / Ivy
package aima.core.logic.fol;
import java.util.Map;
import aima.core.logic.fol.parsing.ast.Sentence;
import aima.core.logic.fol.parsing.ast.Term;
import aima.core.logic.fol.parsing.ast.Variable;
/**
* @author Ciaran O'Reilly
*
*/
public class StandardizeApartResult {
private Sentence originalSentence = null;
private Sentence standardized = null;
private Map forwardSubstitution = null;
private Map reverseSubstitution = null;
public StandardizeApartResult(Sentence originalSentence,
Sentence standardized, Map forwardSubstitution,
Map reverseSubstitution) {
this.originalSentence = originalSentence;
this.standardized = standardized;
this.forwardSubstitution = forwardSubstitution;
this.reverseSubstitution = reverseSubstitution;
}
public Sentence getOriginalSentence() {
return originalSentence;
}
public Sentence getStandardized() {
return standardized;
}
public Map getForwardSubstitution() {
return forwardSubstitution;
}
public Map getReverseSubstitution() {
return reverseSubstitution;
}
}