AbstractModulation.IdentifyCandidateMatchingTerm

java.lang.Object
- aima.core.logic.fol.inference.AbstractModulation.IdentifyCandidateMatchingTerm

protected class AbstractModulation.IdentifyCandidateMatchingTerm
extends java.lang.Object
implements FOLVisitor

Constructors
Constructor and Description
`IdentifyCandidateMatchingTerm(Term toMatch, AtomicSentence expression)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`java.util.Map<Variable,Term>`	`getMatchingSubstitution()`
`Term`	`getMatchingTerm()`
`boolean`	`isMatch()`
`java.lang.Object`	`visitConnectedSentence(ConnectedSentence sentence, java.lang.Object arg)`
`java.lang.Object`	`visitConstant(Constant constant, java.lang.Object arg)`
`java.lang.Object`	`visitFunction(Function function, java.lang.Object arg)`
`java.lang.Object`	`visitNotSentence(NotSentence sentence, java.lang.Object arg)`
`java.lang.Object`	`visitPredicate(Predicate p, java.lang.Object arg)`
`java.lang.Object`	`visitQuantifiedSentence(QuantifiedSentence sentence, java.lang.Object arg)`
`java.lang.Object`	`visitTermEquality(TermEquality equality, java.lang.Object arg)`
`java.lang.Object`	`visitVariable(Variable variable, java.lang.Object arg)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public IdentifyCandidateMatchingTerm(Term toMatch,
                                     AtomicSentence expression)

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

public java.lang.Object visitPredicate(Predicate p,
                                       java.lang.Object arg)

public java.lang.Object visitTermEquality(TermEquality equality,
                                          java.lang.Object arg)

public java.lang.Object visitVariable(Variable variable,
                                      java.lang.Object arg)

public java.lang.Object visitConstant(Constant constant,
                                      java.lang.Object arg)

public java.lang.Object visitFunction(Function function,
                                      java.lang.Object arg)

public java.lang.Object visitNotSentence(NotSentence sentence,
                                         java.lang.Object arg)

public java.lang.Object visitConnectedSentence(ConnectedSentence sentence,
                                               java.lang.Object arg)

public java.lang.Object visitQuantifiedSentence(QuantifiedSentence sentence,
                                                java.lang.Object arg)

Class AbstractModulation.IdentifyCandidateMatchingTerm