Uses of Interface
org.xmloperator.lambda.net.model.Eraser

Packages that use Eraser
org.xmloperator.lambda.net.model   
org.xmloperator.lambda.net.reduction   
org.xmloperator.lambda.net.util   
org.xmloperator.lambda.translate   
 

Uses of Eraser in org.xmloperator.lambda.net.model
 

Methods in org.xmloperator.lambda.net.model that return Eraser
 Eraser OperatorFactory.createEraser(int mark, boolean isDirectionInversed, boolean isActive)
          Creates and returns a new (active) Eraser.
 

Uses of Eraser in org.xmloperator.lambda.net.reduction
 

Methods in org.xmloperator.lambda.net.reduction with parameters of type Eraser
static void NetBetaUtils.reduce(Eraser rootEraser, Applicator redexApplicator, org.xmloperator.lambda.net.util.InteractionListener interactionListener)
          Reduce a beta interaction and apply the x-rules.
 void ReductionListener.notifyStartReduction(Eraser rootEraser, Applicator redexApplicator)
          Notify the starting of a reduction.
 

Uses of Eraser in org.xmloperator.lambda.net.util
 

Methods in org.xmloperator.lambda.net.util that return Eraser
 Eraser WalkingContext.getRootEraser()
          Returns the interaction net rootEraser.
static Eraser CloneUtils.cloneNet(Eraser rootEraser)
          Clones a lambda-net.
 

Methods in org.xmloperator.lambda.net.util with parameters of type Eraser
static void NetUtils.incrementMark(Eraser rootEraser, boolean isMarkIncremented)
          Increment (or decrement) the mark of any Operator connected to an Eraser, recursively.
static void NetUtils.verifyClosure(Eraser rootEraser)
          Verify the closure and the mark-homogeneity of a lambda-net.
static void NetUtils.verifyXFree(Eraser rootEraser)
          Verify that there is no reducable interaction other than beta and the root Eraser.
static java.util.List NetUtils.operatorList(Eraser rootEraser)
          Returns a List of Operators belonging to a lambda-net.
static void NetUtils.print(java.io.PrintStream out, Eraser rootEraser)
          Print a presentation of a lambda-net.
static Eraser CloneUtils.cloneNet(Eraser rootEraser)
          Clones a lambda-net.
 

Constructors in org.xmloperator.lambda.net.util with parameters of type Eraser
NetTraversal(Eraser rootEraser)
           
NetTraversal(Eraser rootEraser, boolean isMarkIncremented)
           
 

Uses of Eraser in org.xmloperator.lambda.translate
 

Methods in org.xmloperator.lambda.translate with parameters of type Eraser
static Term FromNetToTerm.translate(Eraser rootEraser, TermFactory termFactory, org.xmloperator.lambda.net.util.InteractionListener interactionListener)
          Translate an interaction net to a Term.
static void FromNetToTerm.returnNetToFactory(Eraser rootEraser)
          Returns a lambda-net to the factory.
static void FromTermToNet.translate(Term rootTerm, Eraser rootEraser)
          Translate a closed Term to a lambda-net.