edu.columbia.surge.unifier
Class UnifierH

java.lang.Object
  |
  +--edu.columbia.surge.unifier.UnifierH

public class UnifierH

extends java.lang.Object

implements Unifier

A unifier that runs lisp FUF/SURGE through command line.

Constructor Summary

UnifierH()

UnifierH(java.lang.String fufDirectory, java.lang.String outFile, java.lang.String preLoadFile)

Method Summary

void	setFUFDir(java.lang.String fufDir)
void	setOutFile(java.lang.String newOutFile)
void	setPreLoadFile(java.lang.String prlFile)
java.lang.String	unify(FD fd)

Methods inherited from class java.lang.Object

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

Constructor Detail

UnifierH

public UnifierH()

UnifierH

public UnifierH(java.lang.String fufDirectory,
                java.lang.String outFile,
                java.lang.String preLoadFile)

Method Detail

unify

public java.lang.String unify(FD fd)

Specified by:

unify in interface Unifier

setFUFDir

public void setFUFDir(java.lang.String fufDir)

setOutFile

public void setOutFile(java.lang.String newOutFile)

setPreLoadFile

public void setPreLoadFile(java.lang.String prlFile)