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

Inheritance: FOLDomainEvent

Datei anzeigen Open project: PaulMineau/AIMA.Net

Public Methods

Method	Description
FOLDomainSkolemFunctionAddedEvent ( Object source, String skolemFunctionName ) : System
getSkolemConstantName ( ) : String
notifyListener ( FOLDomainListener listener ) : void

Method Details

FOLDomainSkolemFunctionAddedEvent() public method

public FOLDomainSkolemFunctionAddedEvent ( Object source, String skolemFunctionName ) : System
source	Object
skolemFunctionName	String
return	System

getSkolemConstantName() public method

public getSkolemConstantName ( ) : String
return	String

notifyListener() public method

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