edu.columbia.surge
Interface Unifier

All Known Implementing Classes:

UnifierCache, UnifierH, UnifierClient

public abstract interface Unifier

Unifier interface. It unifies against the SURGE grammar.

Method Summary

java.lang.String

unify(FD fd)

Method Detail

unify

public java.lang.String unify(FD fd)