C# Class AIMA.Core.Logic.FOL.KB.Data.Chain

Afficher le fichier Open project: PaulMineau/AIMA.Net Class Usage Examples

Méthodes publiques

Méthode	Description
Chain ( ) : System
Chain ( List literals ) : System
ToString ( ) : String
addLiteral ( Literal literal ) : void
getContrapositives ( ) : List
getHead ( ) : Literal
getLiterals ( ) : List
getNumberLiterals ( ) : int
getProofStep ( ) : ProofStep
getTail ( ) : List
isEmpty ( ) : bool
setProofStep ( ProofStep proofStep ) : void

Method Details

Chain() public méthode

public Chain ( ) : System
Résultat	System

Chain() public méthode

public Chain ( List literals ) : System
literals	List
Résultat	System

ToString() public méthode

public ToString ( ) : String
Résultat	String

addLiteral() public méthode

public addLiteral ( Literal literal ) : void
literal	Literal
Résultat	void

getContrapositives() public méthode

public getContrapositives ( ) : List
Résultat	List

getHead() public méthode

public getHead ( ) : Literal
Résultat	Literal

getLiterals() public méthode

public getLiterals ( ) : List
Résultat	List

getNumberLiterals() public méthode

public getNumberLiterals ( ) : int
Résultat	int

getProofStep() public méthode

public getProofStep ( ) : ProofStep
Résultat	ProofStep

getTail() public méthode

public getTail ( ) : List
Résultat	List

isEmpty() public méthode

public isEmpty ( ) : bool
Résultat	bool

setProofStep() public méthode

public setProofStep ( ProofStep proofStep ) : void
proofStep	ProofStep
Résultat	void