|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Listener for Prolog events
Method Summary | |
void |
libraryLoaded(LibraryEvent e)
|
void |
libraryUnloaded(LibraryEvent e)
|
void |
newQueryResultAvailable(QueryEvent e)
|
void |
theoryChanged(TheoryEvent e)
|
Method Detail |
public void theoryChanged(TheoryEvent e)
public void libraryLoaded(LibraryEvent e)
public void libraryUnloaded(LibraryEvent e)
public void newQueryResultAvailable(QueryEvent e)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |