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

상속: FOLDomainEvent

파일 보기 프로젝트 열기: PaulMineau/AIMA.Net

공개 메소드들

메소드	설명
FOLDomainSkolemFunctionAddedEvent ( Object source, String skolemFunctionName ) : System
getSkolemConstantName ( ) : String
notifyListener ( FOLDomainListener listener ) : void

메소드 상세

FOLDomainSkolemFunctionAddedEvent() 공개 메소드

public FOLDomainSkolemFunctionAddedEvent ( Object source, String skolemFunctionName ) : System
source	Object
skolemFunctionName	String
리턴	System

getSkolemConstantName() 공개 메소드

public getSkolemConstantName ( ) : String
리턴	String

notifyListener() 공개 메소드

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