Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
alice.tuprolog.TheoryEvent

Packages that use TheoryEvent
alice.tuprolog   
 

Uses of TheoryEvent in alice.tuprolog
 

Methods in alice.tuprolog with parameters of type TheoryEvent
 void TheoryListener.theoryChanged(TheoryEvent e)
           
 void PrologEventListener.theoryChanged(TheoryEvent e)
           
 void PrologEventAdapter.theoryChanged(TheoryEvent e)
           
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    
DEIS, Universita' di Bologna, Sede di Cesena