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

Inheritance: Proof

Afficher le fichier Open project: PaulMineau/AIMA.Net

Méthodes publiques

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

Private Methods

Méthode	Description
addToProofSteps ( ProofStep step ) : void
calcualteProofSteps ( ) : void

Method Details

ProofFinal() public méthode

public ProofFinal ( ProofStep finalStep, Term>.Dictionary answerBindings ) : System
finalStep	ProofStep
answerBindings	Term>.Dictionary
Résultat	System

ToString() public méthode

public ToString ( ) : String
Résultat	String

getAnswerBindings() public méthode

public getAnswerBindings ( ) : Term>.Dictionary
Résultat	Term>.Dictionary

getSteps() public méthode

public getSteps ( ) : List
Résultat	List

replaceAnswerBindings() public méthode

public replaceAnswerBindings ( Term>.Dictionary updatedBindings ) : void
updatedBindings	Term>.Dictionary
Résultat	void