edu.washington.cs.supple.net.rmi
Interface RemoteSolverSearchListener

All Superinterfaces:
java.rmi.Remote

public interface RemoteSolverSearchListener
extends java.rmi.Remote

Remote interface for a solver listener.

Author:
dbc1

Method Summary
 void complete()
          Notify the listener that the search has completed.
 void solutionAvailable(SolutionData solution)
          Notify the listener that a solution is available.
 

Method Detail

solutionAvailable

public void solutionAvailable(SolutionData solution)
                       throws java.rmi.RemoteException
Notify the listener that a solution is available.

Parameters:
solution -
Throws:
java.rmi.RemoteException

complete

public void complete()
              throws java.rmi.RemoteException
Notify the listener that the search has completed.

Throws:
java.rmi.RemoteException