Uses of Interface
org.xmloperator.lambda2.term.model.Term

Packages that use Term
org.xmloperator.lambda2.net.impl   
org.xmloperator.lambda2.net.model   
org.xmloperator.lambda2.term.impl   
org.xmloperator.lambda2.term.model   
org.xmloperator.lambda2.term.util   
 

Uses of Term in org.xmloperator.lambda2.net.impl
 

Classes in org.xmloperator.lambda2.net.impl that implement Term
 class BinaryCellImpl
          BinaryCell implementation.
 class CellImpl
          Cell implementation.
 class DecoderImpl
          Decoder implementation.
 class EraserCellImpl
          Eraser implementation.
 class PentaryMultiplexorImpl
          Multiplexor implementation.
 class PortImpl
          Port implementation.
 class WireCellImpl
          Wire cell implementation.
 

Methods in org.xmloperator.lambda2.net.impl that return Term
 Term LambdaNetImpl.readBack(boolean inNormalForm, int maxStepCount, int[] interactionStat)
           
 Term TermReducerImpl.normalForm(Term term)
           
 

Methods in org.xmloperator.lambda2.net.impl with parameters of type Term
 Term TermReducerImpl.normalForm(Term term)
           
 boolean TermReducerImpl.booleanValue(Term booleanTerm)
           
 long TermReducerImpl.numeralValue(Term numeralTerm)
           
 

Uses of Term in org.xmloperator.lambda2.net.model
 

Methods in org.xmloperator.lambda2.net.model that return Term
 Term LambdaNet.readBack(boolean inNormalForm, int maxStepCount, int[] interactionStat)
          Read back the Term represented by this LambdaNet.
 

Uses of Term in org.xmloperator.lambda2.term.impl
 

Classes in org.xmloperator.lambda2.term.impl that implement Term
 class Abstraction0Impl
          Zero or more variable Abstraction implementation.
 class Abstraction1Impl
          One variable Abstraction implementation.
 class AbstractionNImpl
          Two or more variables Abstraction implementation.
 class Application1Impl
          Application implementation.
 class ApplicationNImpl
          Application with function exponent implementation.
 class TermImpl
          Term implementation.
 class VariableImpl
          Variable implementation.
 

Methods in org.xmloperator.lambda2.term.impl that return Term
 Term Abstraction0Impl.getBody()
           
 Term Application1Impl.getFunction()
           
 Term Application1Impl.getArgument()
           
 

Methods in org.xmloperator.lambda2.term.impl with parameters of type Term
 Application TermImpl.buildApplication(Term argument)
           
 Application TermImpl.buildApplication(Term argument, long functionExponent)
           
 

Uses of Term in org.xmloperator.lambda2.term.model
 

Subinterfaces of Term in org.xmloperator.lambda2.term.model
 interface Abstraction
          Abstraction of a Term relatively to a set of linear variables.
 interface Application
          Application of a function to an argument.
 interface Variable
          A free or bound variable.
 

Methods in org.xmloperator.lambda2.term.model that return Term
 Term Abstraction.getBody()
          Returns the body of this Abstraction.
 Term Application.getFunction()
          Returns the function of this Application.
 Term Application.getArgument()
          Returns the argument of this Application.
 Term TermReducer.normalForm(Term term)
          Returns the normal form, if it exists, of the given Term.
 

Methods in org.xmloperator.lambda2.term.model with parameters of type Term
 Application Term.buildApplication(Term argument)
          Builds and returns an Application whose function is this Term and the argument is given.
 Application Term.buildApplication(Term argument, long functionExponent)
          Builds and returns an Application whose function is this Term and the argument is given.
 Term TermReducer.normalForm(Term term)
          Returns the normal form, if it exists, of the given Term.
 boolean TermReducer.booleanValue(Term booleanTerm)
          Returns the boolean value of the given Term, if it represents a boolean.
 long TermReducer.numeralValue(Term numeralTerm)
          Returns the Church numeral value represented by the given Term if it represents one, elsewhere returns -1L.
 

Uses of Term in org.xmloperator.lambda2.term.util
 

Methods in org.xmloperator.lambda2.term.util with parameters of type Term
static long Base2Numerals.longValue(TermReducer termReducer, Term term)
          Returns the long value modulo 2^63 of the given base 2 numeral term.