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

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

공개 메소드들

메소드	설명
Unifier ( ) : System
unify ( FOLNode x, FOLNode y ) : Term>.Dictionary
unify ( FOLNode x, FOLNode y, Term>.Dictionary theta ) : Term>.Dictionary
unify ( List x, List y, Term>.Dictionary theta ) : Term>.Dictionary

보호된 메소드들

메소드	설명
occurCheck ( Term>.Dictionary theta, Variable var, FOLNode x ) : bool

비공개 메소드들

메소드	설명
args ( FOLNode x ) : List
cascadeOccurCheck ( Term>.Dictionary theta, Variable var, List varsToCheck, List varsCheckedAlready ) : bool
cascadeSubstitution ( Term>.Dictionary theta, Variable var, Term x ) : void
isCompound ( FOLNode x ) : bool
op ( FOLNode x ) : String
unifyOps ( String x, String y, Term>.Dictionary theta ) : Term>.Dictionary
unifyVar ( Variable var, FOLNode x, Term>.Dictionary theta ) : Term>.Dictionary

메소드 상세

Unifier() 공개 메소드

public Unifier ( ) : System
리턴	System

occurCheck() 보호된 메소드

protected occurCheck ( Term>.Dictionary theta, Variable var, FOLNode x ) : bool
theta	Term>.Dictionary
var	AIMA.Core.Logic.FOL.Parsing.AST.Variable
x	FOLNode
리턴	bool

unify() 공개 메소드

public unify ( FOLNode x, FOLNode y ) : Term>.Dictionary
x	FOLNode
y	FOLNode
리턴	Term>.Dictionary

unify() 공개 메소드

public unify ( FOLNode x, FOLNode y, Term>.Dictionary theta ) : Term>.Dictionary
x	FOLNode
y	FOLNode
theta	Term>.Dictionary
리턴	Term>.Dictionary

unify() 공개 메소드

public unify ( List x, List y, Term>.Dictionary theta ) : Term>.Dictionary
x	List
y	List
theta	Term>.Dictionary
리턴	Term>.Dictionary