|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface TermBinaryFunction
Abstract interface for binary functions on terms.
| Method Summary | |
|---|---|
Term |
run(Term frs,
Term snd)
|
| Method Detail |
|---|
Term run(Term frs,
Term snd)
throws TermWareException
TermWareException
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||