org.xmloperator.lambda.translate
Class FromTermToNet

java.lang.Object
  |
  +--org.xmloperator.lambda.translate.FromTermToNet

public abstract class FromTermToNet
extends java.lang.Object

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

FromTermToNet

public FromTermToNet()
Method Detail

translate

public static final void translate(Term rootTerm,
                                   Eraser rootEraser)
Translate a closed Term to a lambda-net.

Post-condition: all the Operators have the same mark.

Post-condition: there is no reducable interaction other than beta and the root Eraser.

Parameters:
rootTerm - a Term to translate.
rootEraser - a starting root Eraser, whose mark will be copied.
Throws:
org.xmloperator.lambda.tree.exception.MissingContextException - if the given Term is not closed.
java.lang.NullPointerException - if the given Term is broken.