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

Mostra file Open project: PaulMineau/AIMA.Net Class Usage Examples

Public Methods

Method	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 method

public Chain ( ) : System
return	System

Chain() public method

public Chain ( List literals ) : System
literals	List
return	System

ToString() public method

public ToString ( ) : String
return	String

addLiteral() public method

public addLiteral ( Literal literal ) : void
literal	Literal
return	void

getContrapositives() public method

public getContrapositives ( ) : List
return	List

getHead() public method

public getHead ( ) : Literal
return	Literal

getLiterals() public method

public getLiterals ( ) : List
return	List

getNumberLiterals() public method

public getNumberLiterals ( ) : int
return	int

getProofStep() public method

public getProofStep ( ) : ProofStep
return	ProofStep

getTail() public method

public getTail ( ) : List
return	List

isEmpty() public method

public isEmpty ( ) : bool
return	bool

setProofStep() public method

public setProofStep ( ProofStep proofStep ) : void
proofStep	ProofStep
return	void