Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## alice.tuprolog.event
Interface TheoryListener

All Superinterfaces:
  java.util.EventListener

All Known Implementing Classes:
  PrologEventAdapter

public interface TheoryListener
extends java.util.EventListener

Listener for theory events

Since:
  1.3

Method Summary
`void` | `theoryChanged(TheoryEvent e)`

Method Detail

### theoryChanged

    public void theoryChanged(TheoryEvent e)

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD