Property | Type | Description | |
---|---|---|---|
unifier | |||
variableCollector |
Property | Type | Description | |
---|---|---|---|
substVisitor |
Method | Description | |
---|---|---|
isValidMatch ( Term toMatch, List |
Method | Description | |
---|---|---|
getMatchingSubstitution ( Term toMatch, AtomicSentence expression ) : IdentifyCandidateMatchingTerm |
protected getMatchingSubstitution ( Term toMatch, AtomicSentence expression ) : IdentifyCandidateMatchingTerm | ||
toMatch | Term | |
expression | AtomicSentence | |
return | IdentifyCandidateMatchingTerm |
public abstract isValidMatch ( Term toMatch, List |
||
toMatch | Term | |
toMatchVariables | List |
|
possibleMatch | Term | |
substitution | Term>.Dictionary | |
return | bool |
protected SubstVisitor,AIMA.Core.Logic.FOL substVisitor | ||
return |
public Unifier,AIMA.Core.Logic.FOL unifier | ||
return |