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

Packages that use Variable
org.xmloperator.lambda2.net.impl   
org.xmloperator.lambda2.term.impl   
org.xmloperator.lambda2.term.model   
 

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

Classes in org.xmloperator.lambda2.net.impl that implement Variable
 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.
 

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

Classes in org.xmloperator.lambda2.term.impl that implement Variable
 class VariableImpl
          Variable implementation.
 

Methods in org.xmloperator.lambda2.term.impl that return Variable
 Variable Abstraction0Impl.getBoundVariable(int index)
           
 Variable Abstraction1Impl.getBoundVariable(int index)
           
 Variable AbstractionNImpl.getBoundVariable(int index)
           
 

Methods in org.xmloperator.lambda2.term.impl with parameters of type Variable
 Abstraction TermImpl.buildAbstraction(Variable boundVariable)
           
 Abstraction TermImpl.buildAbstraction(Variable[] boundVariables)
           
 

Constructors in org.xmloperator.lambda2.term.impl with parameters of type Variable
Abstraction1Impl(TermImpl body, Variable boundVariable)
           
AbstractionNImpl(TermImpl body, Variable[] boundVariables)
           
 

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

Methods in org.xmloperator.lambda2.term.model that return Variable
 Variable Abstraction.getBoundVariable(int index)
          Returns the bound Variable of this Abstraction, with the given index.
 

Methods in org.xmloperator.lambda2.term.model with parameters of type Variable
 Abstraction Term.buildAbstraction(Variable boundVariable)
          Builds and returns an Abstraction whose body is this Term and with the given bound variable.
 Abstraction Term.buildAbstraction(Variable[] boundVariables)
          Builds and returns an Abstraction whose body is this Term and with the given bound variables.