edu.washington.cs.supple.net.solver
Class SolverServer

java.lang.Object
  edu.washington.cs.supple.net.solver.SolverServer

public final class SolverServer

extends java.lang.Object

Solver server framework.

Author:

dbc1

Constructor Summary

SolverServer()

Method Summary

static void	main(java.lang.String[] args) Server launch
void	shutdown(long waitTime) Shutdown the server.
void	start() Start server operations

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SolverServer

public SolverServer()

Method Detail

start

public void start()
           throws java.lang.Exception

Start server operations

Throws:

java.lang.Exception

shutdown

public void shutdown(long waitTime)
              throws java.lang.Exception

Shutdown the server.

Throws:

java.lang.Exception

main

public static void main(java.lang.String[] args)

Server launch

Parameters:

args -