aima.logic.fol.domain
Class FOLDomainSkolemConstantAddedEvent

java.lang.Object
  java.util.EventObject
      aima.logic.fol.domain.FOLDomainEvent
          aima.logic.fol.domain.FOLDomainSkolemConstantAddedEvent

All Implemented Interfaces:

java.io.Serializable

public class FOLDomainSkolemConstantAddedEvent
extends FOLDomainEvent

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.EventObject

source

Constructor Summary

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

Method Summary

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