Метод | Описание | |
---|---|---|
IdentifyCandidateMatchingTerm ( Term toMatch, AtomicSentence expression, |
||
getMatchingSubstitution ( ) : Term>.Dictionary |
||
getMatchingTerm ( ) : Term | ||
isMatch ( ) : bool | ||
visitConnectedSentence ( |
||
visitConstant ( |
||
visitFunction ( Function function, Object arg ) : Object | ||
visitNotSentence ( |
||
visitPredicate ( |
||
visitQuantifiedSentence ( |
||
visitTermEquality ( |
||
visitVariable ( |
public IdentifyCandidateMatchingTerm ( Term toMatch, AtomicSentence expression, |
||
toMatch | Term | |
expression | AtomicSentence | |
abstractModulation | ||
Результат | System |
public getMatchingSubstitution ( ) : Term>.Dictionary |
||
Результат | Term>.Dictionary |
public visitConnectedSentence ( |
||
sentence | ||
arg | Object | |
Результат | Object |
public visitConstant ( |
||
constant | ||
arg | Object | |
Результат | Object |
public visitFunction ( Function function, Object arg ) : Object | ||
function | Function | |
arg | Object | |
Результат | Object |
public visitNotSentence ( |
||
sentence | ||
arg | Object | |
Результат | Object |
public visitPredicate ( |
||
p | ||
arg | Object | |
Результат | Object |
public visitQuantifiedSentence ( |
||
sentence | ||
arg | Object | |
Результат | Object |
public visitTermEquality ( |
||
equality | ||
arg | Object | |
Результат | Object |
public visitVariable ( |
||
variable | ||
arg | Object | |
Результат | Object |