C# 클래스 AIMA.Core.Logic.FOL.SubstVisitor

상속: AIMA.Core.Logic.FOL.Parsing.AbstractFOLVisitor

파일 보기 프로젝트 열기: PaulMineau/AIMA.Net 1 사용 예제들

공개 메소드들

메소드	설명
SubstVisitor ( ) : System
subst ( Term>.Dictionary theta, Function aFunction ) : Function
subst ( Term>.Dictionary theta, Literal aLiteral ) : Literal
subst ( Term>.Dictionary theta, Sentence aSentence ) : Sentence
subst ( Term>.Dictionary theta, Term aTerm ) : Term
visitQuantifiedSentence ( QuantifiedSentence sentence, Object arg ) : Object
visitVariable ( Variable variable, Object arg ) : Object

메소드 상세

SubstVisitor() 공개 메소드

public SubstVisitor ( ) : System
리턴	System

subst() 공개 메소드

public subst ( Term>.Dictionary theta, Function aFunction ) : Function
theta	Term>.Dictionary
aFunction	Function
리턴	Function

subst() 공개 메소드

public subst ( Term>.Dictionary theta, Literal aLiteral ) : Literal
theta	Term>.Dictionary
aLiteral	AIMA.Core.Logic.FOL.KB.Data.Literal
리턴	AIMA.Core.Logic.FOL.KB.Data.Literal

subst() 공개 메소드

public subst ( Term>.Dictionary theta, Sentence aSentence ) : Sentence
theta	Term>.Dictionary
aSentence	Sentence
리턴	Sentence

subst() 공개 메소드

public subst ( Term>.Dictionary theta, Term aTerm ) : Term
theta	Term>.Dictionary
aTerm	Term
리턴	Term

visitQuantifiedSentence() 공개 메소드

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

visitVariable() 공개 메소드

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