C# 클래스 AIMA.Core.Logic.FOL.KB.Data.Chain

파일 보기 프로젝트 열기: PaulMineau/AIMA.Net 1 사용 예제들

공개 메소드들

메소드	설명
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

메소드 상세

Chain() 공개 메소드

public Chain ( ) : System
리턴	System

Chain() 공개 메소드

public Chain ( List literals ) : System
literals	List
리턴	System

ToString() 공개 메소드

public ToString ( ) : String
리턴	String

addLiteral() 공개 메소드

public addLiteral ( Literal literal ) : void
literal	Literal
리턴	void

getContrapositives() 공개 메소드

public getContrapositives ( ) : List
리턴	List

getHead() 공개 메소드

public getHead ( ) : Literal
리턴	Literal

getLiterals() 공개 메소드

public getLiterals ( ) : List
리턴	List

getNumberLiterals() 공개 메소드

public getNumberLiterals ( ) : int
리턴	int

getProofStep() 공개 메소드

public getProofStep ( ) : ProofStep
리턴	ProofStep

getTail() 공개 메소드

public getTail ( ) : List
리턴	List

isEmpty() 공개 메소드

public isEmpty ( ) : bool
리턴	bool

setProofStep() 공개 메소드

public setProofStep ( ProofStep proofStep ) : void
proofStep	ProofStep
리턴	void