aima.core.logic.fol

Class StandardizeApart

java.lang.Object

aima.core.logic.fol.StandardizeApart

public class StandardizeApart
extends java.lang.Object

Author:

Ciaran O'Reilly

Constructor Summary

Constructors

Constructor and Description
StandardizeApart()
StandardizeApart(VariableCollector variableCollector, SubstVisitor substVisitor)

Method Summary

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