|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.xmloperator.lambda2.term.util.ChurchNumerals
Church numerals.
Field Summary | |
static Abstraction |
ADD
Term \x1x2x3x4.x1x3(x2x3x4) |
static Abstraction |
EXP
Term \x1x2.x2x1 |
static Abstraction |
MULT
Term \x1x2x3.x1(x2x3) |
static Abstraction |
SUCC
Term \x1x2x3.x2(x1x2x3) |
static Abstraction |
ZERO
Term \x1x2x3.x1(\x4.x3)x2 |
Constructor Summary | |
ChurchNumerals()
|
Method Summary | |
static void |
main(java.lang.String[] args)
|
static Abstraction |
newInt(int n)
Creates and returns a Term that represents an integer. |
static boolean |
test(java.io.PrintStream out,
boolean isVerbose)
Execute some operations using Church numerals. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static final Abstraction SUCC
public static final Abstraction ZERO
public static final Abstraction ADD
public static final Abstraction MULT
public static final Abstraction EXP
Constructor Detail |
public ChurchNumerals()
Method Detail |
public static final Abstraction newInt(int n)
n
- the integer to represent.
java.lang.IllegalArgumentException
- if the integer n is negative.public static void main(java.lang.String[] args)
public static boolean test(java.io.PrintStream out, boolean isVerbose)
out
- the PrintStream to print results. May be null.isVerbose
- if true then all tests have to be displayed.
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |