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

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

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

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

Метод	Описание
AbstractProofStep ( ) : System
getJustification ( ) : String
getPredecessorSteps ( ) : List
getProof ( ) : String
getStepNumber ( ) : int
setStepNumber ( int step ) : void

Описание методов

AbstractProofStep() публичный Метод

public AbstractProofStep ( ) : System
Результат	System

getJustification() публичный абстрактный Метод

public abstract getJustification ( ) : String
Результат	String

getPredecessorSteps() публичный абстрактный Метод

public abstract getPredecessorSteps ( ) : List
Результат	List

getProof() публичный абстрактный Метод

public abstract getProof ( ) : String
Результат	String

getStepNumber() публичный Метод

public getStepNumber ( ) : int
Результат	int

setStepNumber() публичный Метод

public setStepNumber ( int step ) : void
step	int
Результат	void