alice.tuprolog
Class QueryEvent

java.lang.Object
  extended byjava.util.EventObject
      extended byalice.tuprolog.PrologEvent
          extended byalice.tuprolog.QueryEvent
All Implemented Interfaces:
java.io.Serializable

public class QueryEvent
extends PrologEvent

This class represents events concerning query management.

Since:
1.3
See Also:
Serialized Form

Constructor Summary
QueryEvent(Prolog source, SolveInfo info)
           
 
Method Summary
 SolveInfo getSolveInfo()
          Gets information about the query result.
 
Methods inherited from class alice.tuprolog.PrologEvent
getTime
 
Methods inherited from class java.util.EventObject
getSource, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

QueryEvent

public QueryEvent(Prolog source,
                  SolveInfo info)
Method Detail

getSolveInfo

public SolveInfo getSolveInfo()
Gets information about the query result.

Returns:
solve info


DEIS, Universita' di Bologna, Sede di Cesena