org.xmloperator.lambda2.term.util
Class CommonTerms

java.lang.Object
  extended byorg.xmloperator.lambda2.term.util.CommonTerms

public abstract class CommonTerms
extends java.lang.Object

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

I

public static final Abstraction I
Term \x1.x1


K

public static final Abstraction K
Term \x1x2.x1


F

public static final Abstraction F
Term \x1x2.x2


FIRST_OF_THREE

public static final Abstraction FIRST_OF_THREE
Term \x1x2x3.x1


SECOND_OF_THREE

public static final Abstraction SECOND_OF_THREE
Term \x1x2x3.x2


THIRD_OF_THREE

public static final Abstraction THIRD_OF_THREE
Term \x1x2x3.x3


IF

public static final Abstraction IF
Term \x1x2x3.x1x2x3


NOT

public static final Abstraction NOT
Term \x1.x1FK


AND

public static final Abstraction AND
Term \x1x2.x1x2F


OR

public static final Abstraction OR
Term \x1x2.x1Kx2


COUPLE

public static final Abstraction COUPLE
Term \x1x2x3.x3x1x2


FIRST_IN_COUPLE

public static final Abstraction FIRST_IN_COUPLE
Term \x1.x1\x2x3.x2


SECOND_IN_COUPLE

public static final Abstraction SECOND_IN_COUPLE
Term \x1.x1\x2x3.x3


TRIPLE

public static final Abstraction TRIPLE
Term \x1x2x3x4.x4x1x2x3


FIRST_IN_TRIPLE

public static final Abstraction FIRST_IN_TRIPLE
Term \x1.x1\x2x3x4.x2


SECOND_IN_TRIPLE

public static final Abstraction SECOND_IN_TRIPLE
Term \x1.x1\x2x3x4.x3


THIRD_IN_TRIPLE

public static final Abstraction THIRD_IN_TRIPLE
Term \x1.x1\x2x3x4.x4


Y

public static final Abstraction Y
Term Y.

\x1.(\x2.x1(x2x2))\x2.x1(x2x2)


V

public static final Abstraction V
Term \x1x2.x2(x1x1x2)


TETA

public static final Application TETA
Term (\x1x2.x2(x1x1x2))\x1x2.x2(x1x1x2)


DELTA

public static final Abstraction DELTA
Term \x1.x1x1


OMEGA

public static final Application OMEGA
Term (\x1.x1x1)\x1.x1x1

Constructor Detail

CommonTerms

public CommonTerms()
Method Detail

bool

public static final Abstraction bool(boolean value)
Creates and returns a Term that represents a boolean value.

Parameters:
value - a boolean value.
Returns:
a boolean selector Term.

threeStates

public static final Abstraction threeStates(int value)
Creates and returns a Term that represents a selector amongst three states.

Parameters:
value - 1, 2 or 3 (for first, second and last).
Returns:
a three states selector Term.

selectorForCouple

public static final 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".

Parameters:
selector - : true for First, false for Last.
Returns:
a Term First or Last in a couple.

selectorForTriple

public static final Abstraction selectorForTriple(int selector)
Creates and returns a Term that represents a selector of a term in a triple :

Parameters:
selector - : 1 for First, 2 for Second, 3 for Last.
Returns:
a selector of the first term in a triple.

main

public static void main(java.lang.String[] args)

test

public static boolean test(java.io.PrintStream out,
                           boolean isVerbose)
Try some common Builders.

Parameters:
out - the PrintStream to print results. May be null.
isVerbose - if true then all tests have to be displayed.
Returns:
true if all is Ok.