aima.logic.fol
Class StandardizeApart

java.lang.Object
  aima.logic.fol.StandardizeApart

public class StandardizeApart
extends java.lang.Object

Constructor Summary

StandardizeApart()

StandardizeApart(VariableCollector variableCollector, SubstVisitor substVisitor)

Method Summary

Chain	standardizeApart(Chain chain, StandardizeApartIndexical standardizeApartIndexical)
Clause	standardizeApart(Clause clause, StandardizeApartIndexical standardizeApartIndexical)
java.util.Map<Variable,Term>	standardizeApart(java.util.List<Literal> l1Literals, java.util.List<Literal> l2Literals, StandardizeApartIndexical standardizeApartIndexical)
StandardizeApartResult	standardizeApart(Sentence aSentence, StandardizeApartIndexical standardizeApartIndexical)

Methods inherited from class java.lang.Object

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

Constructor Detail

StandardizeApart

public StandardizeApart()

StandardizeApart

public StandardizeApart(VariableCollector variableCollector,
                        SubstVisitor substVisitor)

Method Detail

standardizeApart

public StandardizeApartResult standardizeApart(Sentence aSentence,
                                               StandardizeApartIndexical standardizeApartIndexical)

standardizeApart

public Clause standardizeApart(Clause clause,
                               StandardizeApartIndexical standardizeApartIndexical)

standardizeApart

public Chain standardizeApart(Chain chain,
                              StandardizeApartIndexical standardizeApartIndexical)

standardizeApart

public java.util.Map<Variable,Term> standardizeApart(java.util.List<Literal> l1Literals,
                                                     java.util.List<Literal> l2Literals,
                                                     StandardizeApartIndexical standardizeApartIndexical)