|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |