|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of TermFactory in org.xmloperator.lambda.translate |
Methods in org.xmloperator.lambda.translate with parameters of type TermFactory | |
static Term |
FromNetToTerm.translate(Eraser rootEraser,
TermFactory termFactory,
org.xmloperator.lambda.net.util.InteractionListener interactionListener)
Translate an interaction net to a Term. |
Uses of TermFactory in org.xmloperator.lambda.tree.generate |
Methods in org.xmloperator.lambda.tree.generate with parameters of type TermFactory | |
static Abstraction |
ChurchNumerals.newInt(TermFactory termFactory,
int n)
Creates and returns a new instance of the Abstraction that represents the integer n: 0 = "aav", 1 = "aacevv", 2 = "aacevcevv", 3 = "aacevcevcevv", ... |
static Abstraction |
ChurchNumerals.newSucc(TermFactory termFactory)
Creates and returns a new instance of the "Succ" Abstraction ("aaacevcceevevv"). |
static Abstraction |
ChurchNumerals.newZero(TermFactory termFactory)
Creates and returns a new instance of the "Zero" Abstraction ("aaacceevcKvev"). |
static Abstraction |
ChurchNumerals.newAdd(TermFactory termFactory)
Creates and returns a new instance of the "Add" Abstraction ("aaaacceeevevcceevevv"). |
static Abstraction |
ChurchNumerals.newMult(TermFactory termFactory)
Creates and returns a new instance of the "Mult" Abstraction ("aaaceevcevv"). |
static Abstraction |
ChurchNumerals.newExp(TermFactory termFactory)
Creates and returns a new instance of the "Exp" Abstraction ("aacvev"). |
Uses of TermFactory in org.xmloperator.lambda.tree.model |
Methods in org.xmloperator.lambda.tree.model that return TermFactory | |
TermFactory |
Term.getFactory()
Returns the factory of this Term, which can be used for building compatible Terms. |
Uses of TermFactory in org.xmloperator.lambda.tree.serialize |
Methods in org.xmloperator.lambda.tree.serialize with parameters of type TermFactory | |
Term |
Serializer.readTerm(java.io.Reader in,
TermFactory termFactory)
Produces a Term from a previous serialization. |
Term |
PrefixedSerializer.readTerm(java.io.Reader reader,
TermFactory termFactory)
|
Term |
UsualSerializer.readTerm(java.io.Reader reader,
TermFactory termFactory)
|
Uses of TermFactory in org.xmloperator.lambda.tree.util |
Methods in org.xmloperator.lambda.tree.util with parameters of type TermFactory | |
static Abstraction |
CommonTerms.newIdentity(TermFactory termFactory)
Creates and returns an Abstraction that maps to "av". |
static Abstraction |
CommonTerms.newTrue(TermFactory termFactory)
Creates and returns an Abstraction that maps to K = "aaev". |
static Abstraction |
CommonTerms.newFalse(TermFactory termFactory)
Creates and returns an Abstraction that maps to F = "aav". |
static Abstraction |
CommonTerms.newBoolean(TermFactory termFactory,
boolean value)
Creates and returns an Abstraction that, depending on value, maps to value ? |
static Abstraction |
CommonTerms.newCouple(TermFactory termFactory)
Creates and returns an Abstraction that maps to "aaaccveevev". |
static Abstraction |
CommonTerms.newFirstInCouple(TermFactory termFactory,
boolean value)
Creates and returns an Abstraction that, depending on value, maps to value ? |
static Application |
CommonTerms.newLoop(TermFactory termFactory)
Creates and returns an Application that maps to "cvv". |
static Abstraction |
CommonTerms.newDelta(TermFactory termFactory)
Creates and returns an Abstraction that maps to "D" = "acvv". |
static Application |
CommonTerms.newOmega(TermFactory termFactory)
Creates and returns an Application that maps to "cDD". |
static Abstraction |
CommonTerms.newYPart(TermFactory termFactory)
Creates and returns an Abstraction that maps to "acevcvv". |
static Abstraction |
CommonTerms.newY(TermFactory termFactory)
Creates and returns an Abstraction that maps to "acacevcvvacevcvv". |
static Abstraction |
CommonTerms.newV(TermFactory termFactory)
Creates and returns an Abstraction that maps to "V" = "aacvcecvvv". |
static Application |
CommonTerms.newTeta(TermFactory termFactory)
Creates and returns an Application that maps to "cVV". |
static Term |
FactoryUtils.newLeaf(TermFactory termFactory,
int endOfScopeCount)
Creates and returns a Leaf contained in a sequence of EndOfScopes. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |