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

All Superinterfaces:

java.rmi.Remote

public interface RemoteSolverSearch

extends java.rmi.Remote

Remote interface to a solution in progress.

Author:

dbc1

Method Summary

void	cancel() Cancel the search.
SolutionData	getCurrentSolution()
boolean	isSolutionAvailable()
boolean	isSolutionFinal()

Method Detail

isSolutionAvailable

public boolean isSolutionAvailable()
                            throws java.rmi.RemoteException

Returns:

whether or not any solution is currently available.

Throws:

java.rmi.RemoteException

isSolutionFinal

public boolean isSolutionFinal()
                        throws java.rmi.RemoteException

Returns:

whether or not the current solution is final.

Throws:

java.rmi.RemoteException

cancel

public void cancel()
            throws java.rmi.RemoteException

Cancel the search.

Throws:

java.rmi.RemoteException

getCurrentSolution

public SolutionData getCurrentSolution()
                                throws java.rmi.RemoteException

Returns:

the current solution.

Throws:

java.rmi.RemoteException