C# 클래스 AIMA.Core.Logic.FOL.Inference.Proof.ProofFinal

상속: Proof

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

공개 메소드들

메소드	설명
ProofFinal ( ProofStep finalStep, Term>.Dictionary answerBindings ) : System
ToString ( ) : String
getAnswerBindings ( ) : Term>.Dictionary
getSteps ( ) : List
replaceAnswerBindings ( Term>.Dictionary updatedBindings ) : void

비공개 메소드들

메소드	설명
addToProofSteps ( ProofStep step ) : void
calcualteProofSteps ( ) : void

메소드 상세

ProofFinal() 공개 메소드

public ProofFinal ( ProofStep finalStep, Term>.Dictionary answerBindings ) : System
finalStep	ProofStep
answerBindings	Term>.Dictionary
리턴	System

ToString() 공개 메소드

public ToString ( ) : String
리턴	String

getAnswerBindings() 공개 메소드

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

getSteps() 공개 메소드

public getSteps ( ) : List
리턴	List

replaceAnswerBindings() 공개 메소드

public replaceAnswerBindings ( Term>.Dictionary updatedBindings ) : void
updatedBindings	Term>.Dictionary
리턴	void