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