edu.columbia.surge.unifier
Class UnifierClient

java.lang.Object
  |
  +--edu.columbia.surge.unifier.UnifierClient
public class UnifierClient
extends java.lang.Object
implements Unifier

An unifier that connects to a lisp server via TCP/IP

Field Summary
protected  int limit
          Unification limit.
protected  int port
          Port of the server;
protected  java.lang.String server
          Name of the server to connect.
 
Constructor Summary
UnifierClient()
          Default constructor, sets server to "localhost" and port to 4000.
UnifierClient(java.lang.String server, int port)
          Constructor specifying server and port.
 
Method Summary
 void setLimit(int limit)
          Set unification limit.
 java.lang.String unify(FD fd)
          Unify method, connects to the remote server and proceed to unify.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

server

protected java.lang.String server
Name of the server to connect.

port

protected int port
Port of the server;

limit

protected int limit
Unification limit. Defaults to 10,000.
Constructor Detail

UnifierClient

public UnifierClient()
Default constructor, sets server to "localhost" and port to 4000.

UnifierClient

public UnifierClient(java.lang.String server,
                     int port)
Constructor specifying server and port.
Parameters:
server - String specifying to connect to.
port - int specifying the port connect to.
Method Detail

setLimit

public void setLimit(int limit)
Set unification limit.

unify

public java.lang.String unify(FD fd)
Unify method, connects to the remote server and proceed to unify.
Specified by:
unify in interface Unifier