aima.core.logic.fol.domain

Class FOLDomainSkolemFunctionAddedEvent

java.lang.Object

java.util.EventObject

aima.core.logic.fol.domain.FOLDomainEvent

aima.core.logic.fol.domain.FOLDomainSkolemFunctionAddedEvent

All Implemented Interfaces:

java.io.Serializable

public class FOLDomainSkolemFunctionAddedEvent
extends FOLDomainEvent

Author:

Ciaran O'Reilly

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.EventObject

source

Constructor Summary

Constructors

Constructor and Description
FOLDomainSkolemFunctionAddedEvent(java.lang.Object source, java.lang.String skolemFunctionName)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getSkolemConstantName()
void	notifyListener(FOLDomainListener listener)

Methods inherited from class java.util.EventObject

getSource, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

FOLDomainSkolemFunctionAddedEvent

public FOLDomainSkolemFunctionAddedEvent(java.lang.Object source,
                                         java.lang.String skolemFunctionName)

Method Detail

getSkolemConstantName

public java.lang.String getSkolemConstantName()

notifyListener

public void notifyListener(FOLDomainListener listener)

Specified by:

notifyListener in class FOLDomainEvent