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