|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.xmloperator.lambda2.term.util.CommonTerms
Common Terms.
Field Summary | |
static Abstraction |
AND
Term \x1x2.x1x2F |
static Abstraction |
COUPLE
Term \x1x2x3.x3x1x2 |
static Abstraction |
DELTA
Term \x1.x1x1 |
static Abstraction |
F
Term \x1x2.x2 |
static Abstraction |
FIRST_IN_COUPLE
Term \x1.x1\x2x3.x2 |
static Abstraction |
FIRST_IN_TRIPLE
Term \x1.x1\x2x3x4.x2 |
static Abstraction |
FIRST_OF_THREE
Term \x1x2x3.x1 |
static Abstraction |
I
Term \x1.x1 |
static Abstraction |
IF
Term \x1x2x3.x1x2x3 |
static Abstraction |
K
Term \x1x2.x1 |
static Abstraction |
NOT
Term \x1.x1FK |
static Application |
OMEGA
Term (\x1.x1x1)\x1.x1x1 |
static Abstraction |
OR
Term \x1x2.x1Kx2 |
static Abstraction |
SECOND_IN_COUPLE
Term \x1.x1\x2x3.x3 |
static Abstraction |
SECOND_IN_TRIPLE
Term \x1.x1\x2x3x4.x3 |
static Abstraction |
SECOND_OF_THREE
Term \x1x2x3.x2 |
static Application |
TETA
Term (\x1x2.x2(x1x1x2))\x1x2.x2(x1x1x2) |
static Abstraction |
THIRD_IN_TRIPLE
Term \x1.x1\x2x3x4.x4 |
static Abstraction |
THIRD_OF_THREE
Term \x1x2x3.x3 |
static Abstraction |
TRIPLE
Term \x1x2x3x4.x4x1x2x3 |
static Abstraction |
V
Term \x1x2.x2(x1x1x2) |
static Abstraction |
Y
Term Y. |
Constructor Summary | |
CommonTerms()
|
Method Summary | |
static Abstraction |
bool(boolean value)
Creates and returns a Term that represents a boolean value. |
static void |
main(java.lang.String[] args)
|
static Abstraction |
selectorForCouple(boolean selector)
Creates and returns a Term that represents a selector of a term in a couple : First = "\x1.x1\x2x3.x2" : Last = "\x1.x1\x2x3.x3". |
static Abstraction |
selectorForTriple(int selector)
Creates and returns a Term that represents a selector of a term in a triple : First = "\x1.x1\x2x3x4.x2" Second = "\x1.x1\x2x3x4.x3" Last = "\x1.x1\x2x3x4.x4" |
static boolean |
test(java.io.PrintStream out,
boolean isVerbose)
Try some common Builders. |
static Abstraction |
threeStates(int value)
Creates and returns a Term that represents a selector amongst three states. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static final Abstraction I
public static final Abstraction K
public static final Abstraction F
public static final Abstraction FIRST_OF_THREE
public static final Abstraction SECOND_OF_THREE
public static final Abstraction THIRD_OF_THREE
public static final Abstraction IF
public static final Abstraction NOT
public static final Abstraction AND
public static final Abstraction OR
public static final Abstraction COUPLE
public static final Abstraction FIRST_IN_COUPLE
public static final Abstraction SECOND_IN_COUPLE
public static final Abstraction TRIPLE
public static final Abstraction FIRST_IN_TRIPLE
public static final Abstraction SECOND_IN_TRIPLE
public static final Abstraction THIRD_IN_TRIPLE
public static final Abstraction Y
\x1.(\x2.x1(x2x2))\x2.x1(x2x2)
public static final Abstraction V
public static final Application TETA
public static final Abstraction DELTA
public static final Application OMEGA
Constructor Detail |
public CommonTerms()
Method Detail |
public static final Abstraction bool(boolean value)
value
- a boolean value.
public static final Abstraction threeStates(int value)
value
- 1, 2 or 3 (for first, second and last).
public static final Abstraction selectorForCouple(boolean selector)
selector
- :
true for First, false for Last.
public static final Abstraction selectorForTriple(int selector)
selector
- :
1 for First, 2 for Second, 3 for Last.
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 |