Uses of Class
astra.gui.GuiEvent

Packages that use GuiEvent

Package	Description
astra.gui

Uses of GuiEvent in astra.gui

Methods in astra.gui with parameters of type GuiEvent

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