alice.tuprolog.event

Interface TheoryListener

All Superinterfaces:

EventListener

All Known Implementing Classes:

PrologEventAdapter

public interface TheoryListener
extends EventListener

Listener for theory events

Since:

1.3

Method Summary

Methods

Modifier and Type	Method and Description
void	theoryChanged(TheoryEvent e)

Method Detail

theoryChanged

void theoryChanged(TheoryEvent e)