C# 클래스 AIMA.Core.Logic.FOL.Inference.AbstractModulation.IdentifyCandidateMatchingTerm

상속: FOLVisitor

파일 보기 프로젝트 열기: PaulMineau/AIMA.Net

공개 메소드들

메소드	설명
IdentifyCandidateMatchingTerm ( Term toMatch, AtomicSentence expression, AbstractModulation abstractModulation ) : System
getMatchingSubstitution ( ) : Term>.Dictionary
getMatchingTerm ( ) : Term
isMatch ( ) : bool
visitConnectedSentence ( ConnectedSentence sentence, Object arg ) : Object
visitConstant ( Constant constant, Object arg ) : Object
visitFunction ( Function function, Object arg ) : Object
visitNotSentence ( NotSentence sentence, Object arg ) : Object
visitPredicate ( Predicate p, Object arg ) : Object
visitQuantifiedSentence ( QuantifiedSentence sentence, Object arg ) : Object
visitTermEquality ( TermEquality equality, Object arg ) : Object
visitVariable ( Variable variable, Object arg ) : Object

메소드 상세

IdentifyCandidateMatchingTerm() 공개 메소드

public IdentifyCandidateMatchingTerm ( Term toMatch, AtomicSentence expression, AbstractModulation abstractModulation ) : System
toMatch	Term
expression	AtomicSentence
abstractModulation	AbstractModulation
리턴	System

getMatchingSubstitution() 공개 메소드

public getMatchingSubstitution ( ) : Term>.Dictionary
리턴	Term>.Dictionary

getMatchingTerm() 공개 메소드

public getMatchingTerm ( ) : Term
리턴	Term

isMatch() 공개 메소드

public isMatch ( ) : bool
리턴	bool

visitConnectedSentence() 공개 메소드

public visitConnectedSentence ( ConnectedSentence sentence, Object arg ) : Object
sentence	AIMA.Core.Logic.FOL.Parsing.AST.ConnectedSentence
arg	Object
리턴	Object

visitConstant() 공개 메소드

public visitConstant ( Constant constant, Object arg ) : Object
constant	AIMA.Core.Logic.FOL.Parsing.AST.Constant
arg	Object
리턴	Object

visitFunction() 공개 메소드

public visitFunction ( Function function, Object arg ) : Object
function	Function
arg	Object
리턴	Object

visitNotSentence() 공개 메소드

public visitNotSentence ( NotSentence sentence, Object arg ) : Object
sentence	AIMA.Core.Logic.FOL.Parsing.AST.NotSentence
arg	Object
리턴	Object

visitPredicate() 공개 메소드

public visitPredicate ( Predicate p, Object arg ) : Object
p	AIMA.Core.Logic.FOL.Parsing.AST.Predicate
arg	Object
리턴	Object

visitQuantifiedSentence() 공개 메소드

public visitQuantifiedSentence ( QuantifiedSentence sentence, Object arg ) : Object
sentence	AIMA.Core.Logic.FOL.Parsing.AST.QuantifiedSentence
arg	Object
리턴	Object

visitTermEquality() 공개 메소드

public visitTermEquality ( TermEquality equality, Object arg ) : Object
equality	AIMA.Core.Logic.FOL.Parsing.AST.TermEquality
arg	Object
리턴	Object

visitVariable() 공개 메소드

public visitVariable ( Variable variable, Object arg ) : Object
variable	AIMA.Core.Logic.FOL.Parsing.AST.Variable
arg	Object
리턴	Object