C# Class AIMA.Core.Logic.FOL.Domain.FOLDomainSkolemConstantAddedEvent

Inheritance: FOLDomainEvent

显示文件 Open project: PaulMineau/AIMA.Net

Public Methods

Method	Description
FOLDomainSkolemConstantAddedEvent ( Object source, String skolemConstantName ) : System
getSkolemConstantName ( ) : String
notifyListener ( FOLDomainListener listener ) : void

Method Details

FOLDomainSkolemConstantAddedEvent() public method

public FOLDomainSkolemConstantAddedEvent ( Object source, String skolemConstantName ) : System
source	Object
skolemConstantName	String
return	System

getSkolemConstantName() public method

public getSkolemConstantName ( ) : String
return	String

notifyListener() public method

public notifyListener ( FOLDomainListener listener ) : void
listener	FOLDomainListener
return	void