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

Inheritance: ProofStep
Afficher le fichier Open project: PaulMineau/AIMA.Net

Méthodes publiques

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

Method Details

AbstractProofStep() public méthode

public AbstractProofStep ( ) : System
Résultat System

getJustification() public abstract méthode

public abstract getJustification ( ) : String
Résultat String

getPredecessorSteps() public abstract méthode

public abstract getPredecessorSteps ( ) : List
Résultat List

getProof() public abstract méthode

public abstract getProof ( ) : String
Résultat String

getStepNumber() public méthode

public getStepNumber ( ) : int
Résultat int

setStepNumber() public méthode

public setStepNumber ( int step ) : void
step int
Résultat void