Uses of Interface
org.xmloperator.lambda.tree.model.TermFactory

Packages that use TermFactory
org.xmloperator.lambda.translate   
org.xmloperator.lambda.tree.generate   
org.xmloperator.lambda.tree.model   
org.xmloperator.lambda.tree.serialize   
org.xmloperator.lambda.tree.util   
 

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.