Package astra.gui

Class GuiEventUnifier

java.lang.Object

astra.gui.GuiEventUnifier

All Implemented Interfaces:

EventUnifier<GuiEvent>

public class GuiEventUnifier
extends Object
implements EventUnifier<GuiEvent>

Constructor Summary

Constructors

Constructor	Description
GuiEventUnifier()

Method Summary

Modifier and Type	Method	Description
Map<Integer,Term>	unify(GuiEvent source, GuiEvent target, Agent agent)

Methods inherited from class java.lang.Object

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

Constructor Detail

GuiEventUnifier

public GuiEventUnifier()

Method Detail

unify

public Map<Integer,Term> unify(GuiEvent source,
                                     GuiEvent target,
                                     Agent agent)

Specified by:

unify in interface EventUnifier<GuiEvent>