C# Class AIMA.Core.Logic.FOL.Inference.Proof.ProofFinal

Inheritance: Proof

ファイルを表示 Open project: PaulMineau/AIMA.Net

Public Methods

Method	Description
ProofFinal ( ProofStep finalStep, Term>.Dictionary answerBindings ) : System
ToString ( ) : String
getAnswerBindings ( ) : Term>.Dictionary
getSteps ( ) : List
replaceAnswerBindings ( Term>.Dictionary updatedBindings ) : void

Private Methods

Method	Description
addToProofSteps ( ProofStep step ) : void
calcualteProofSteps ( ) : void

Method Details

ProofFinal() public method

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

ToString() public method

public ToString ( ) : String
return	String

getAnswerBindings() public method

public getAnswerBindings ( ) : Term>.Dictionary
return	Term>.Dictionary

getSteps() public method

public getSteps ( ) : List
return	List

replaceAnswerBindings() public method

public replaceAnswerBindings ( Term>.Dictionary updatedBindings ) : void
updatedBindings	Term>.Dictionary
return	void