aima.logic.fol.domain
Class FOLDomainSkolemFunctionAddedEvent

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

All Implemented Interfaces:

java.io.Serializable

public class FOLDomainSkolemFunctionAddedEvent
extends FOLDomainEvent

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.EventObject

source

Constructor Summary

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

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

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