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

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

Public Methods

Method Description
AbstractProofStep ( ) : System
getJustification ( ) : String
getPredecessorSteps ( ) : List
getProof ( ) : String
getStepNumber ( ) : int
setStepNumber ( int step ) : void

Method Details

AbstractProofStep() public method

public AbstractProofStep ( ) : System
return System

getJustification() public abstract method

public abstract getJustification ( ) : String
return String

getPredecessorSteps() public abstract method

public abstract getPredecessorSteps ( ) : List
return List

getProof() public abstract method

public abstract getProof ( ) : String
return String

getStepNumber() public method

public getStepNumber ( ) : int
return int

setStepNumber() public method

public setStepNumber ( int step ) : void
step int
return void