aima.logic.fol.domain
Class FOLDomainEvent

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

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

FOLDomainAnswerLiteralAddedEvent, FOLDomainSkolemConstantAddedEvent, FOLDomainSkolemFunctionAddedEvent

public abstract class FOLDomainEvent
extends java.util.EventObject

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.EventObject

source

Constructor Summary

FOLDomainEvent(java.lang.Object source)

Method Summary

abstract 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

FOLDomainEvent

public FOLDomainEvent(java.lang.Object source)

Method Detail

notifyListener

public abstract void notifyListener(FOLDomainListener listener)