C# Класс AIMA.Core.Logic.FOL.Inference.Proof.ProofFinal

Наследование: Proof

Показать файл Открыть проект

Открытые методы

Метод	Описание
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