C# 클래스 AIMA.Core.Logic.FOL.Domain.FOLDomain

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

공개 메소드들

메소드	설명
FOLDomain ( ) : System
FOLDomain ( FOLDomain toCopy ) : System
FOLDomain ( List constants, List functions, List predicates ) : System
addAnswerLiteral ( ) : String
addConstant ( String constant ) : void
addFOLDomainListener ( FOLDomainListener listener ) : void
addFunction ( String function ) : void
addPredicate ( String predicate ) : void
addSkolemConstant ( ) : String
addSkolemFunction ( ) : String
getConstants ( ) : List
getFunctions ( ) : List
getPredicates ( ) : List
removeFOLDomainListener ( FOLDomainListener listener ) : void

비공개 메소드들

메소드	설명
notifyFOLDomainListeners ( FOLDomainEvent evt ) : void

메소드 상세

FOLDomain() 공개 메소드

public FOLDomain ( ) : System
리턴	System

FOLDomain() 공개 메소드

public FOLDomain ( FOLDomain toCopy ) : System
toCopy	FOLDomain
리턴	System

FOLDomain() 공개 메소드

public FOLDomain ( List constants, List functions, List predicates ) : System
constants	List
functions	List
predicates	List
리턴	System

addAnswerLiteral() 공개 메소드

public addAnswerLiteral ( ) : String
리턴	String

addConstant() 공개 메소드

public addConstant ( String constant ) : void
constant	String
리턴	void

addFOLDomainListener() 공개 메소드

public addFOLDomainListener ( FOLDomainListener listener ) : void
listener	FOLDomainListener
리턴	void

addFunction() 공개 메소드

public addFunction ( String function ) : void
function	String
리턴	void

addPredicate() 공개 메소드

public addPredicate ( String predicate ) : void
predicate	String
리턴	void

addSkolemConstant() 공개 메소드

public addSkolemConstant ( ) : String
리턴	String

addSkolemFunction() 공개 메소드

public addSkolemFunction ( ) : String
리턴	String

getConstants() 공개 메소드

public getConstants ( ) : List
리턴	List

getFunctions() 공개 메소드

public getFunctions ( ) : List
리턴	List

getPredicates() 공개 메소드

public getPredicates ( ) : List
리턴	List

removeFOLDomainListener() 공개 메소드

public removeFOLDomainListener ( FOLDomainListener listener ) : void
listener	FOLDomainListener
리턴	void