|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--org.xmloperator.lambda.translate.FromTermToNet
Translation of a Term into a lambda-net.
Constructor Summary | |
FromTermToNet()
|
Method Summary | |
static void |
translate(Term rootTerm,
Eraser rootEraser)
Translate a closed Term to a lambda-net. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public FromTermToNet()
Method Detail |
public static final void translate(Term rootTerm, Eraser rootEraser)
Post-condition: all the Operators have the same mark.
Post-condition: there is no reducable interaction other than beta and the root Eraser.
rootTerm
- a Term to translate.rootEraser
- a starting root Eraser, whose mark will be copied.
org.xmloperator.lambda.tree.exception.MissingContextException
- if the given Term is not closed.
java.lang.NullPointerException
- if the given Term is broken.
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |