|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Unifier | |
| edu.columbia.surge.unifier | Different implementations of unifier engines. |
| Uses of Unifier in edu.columbia.surge.unifier |
| Classes in edu.columbia.surge.unifier that implement Unifier | |
class |
UnifierCache
A unifier cache. |
class |
UnifierClient
An unifier that connects to a lisp server via TCP/IP |
class |
UnifierH
A unifier that runs lisp FUF/SURGE through command line. |
| Fields in edu.columbia.surge.unifier declared as Unifier | |
protected Unifier |
UnifierCache.unifier
The unifier being wrapped. |
| Constructors in edu.columbia.surge.unifier with parameters of type Unifier | |
UnifierCache.UnifierCache(Unifier unifier)
Constructor. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||