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

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

공개 메소드들

메소드 설명
ReplaceMatchingTerm ( ) : System
replace ( AtomicSentence expression, Term toReplace, Term replaceWith ) : AtomicSentence
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

메소드 상세

ReplaceMatchingTerm() 공개 메소드

public ReplaceMatchingTerm ( ) : System
리턴 System

replace() 공개 메소드

public replace ( AtomicSentence expression, Term toReplace, Term replaceWith ) : AtomicSentence
expression AtomicSentence
toReplace Term
replaceWith Term
리턴 AtomicSentence

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