aima.core.logic.fol.domain

Class FOLDomainSkolemConstantAddedEvent

java.lang.Object

java.util.EventObject

aima.core.logic.fol.domain.FOLDomainEvent

aima.core.logic.fol.domain.FOLDomainSkolemConstantAddedEvent

All Implemented Interfaces:

java.io.Serializable

public class FOLDomainSkolemConstantAddedEvent
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
FOLDomainSkolemConstantAddedEvent(java.lang.Object source, java.lang.String skolemConstantName)

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

FOLDomainSkolemConstantAddedEvent

public FOLDomainSkolemConstantAddedEvent(java.lang.Object source,
                                         java.lang.String skolemConstantName)

Method Detail

getSkolemConstantName

public java.lang.String getSkolemConstantName()

notifyListener

public void notifyListener(FOLDomainListener listener)

Specified by:

notifyListener in class FOLDomainEvent