|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
org.xmloperator.* |
org.xmloperator.lambda.net.model.Operator | ||
public static final int |
INTERACTION_ANNIHILATE_DELIMITER |
8 |
public static final int |
INTERACTION_ANNIHILATE_DUPLICATOR |
9 |
public static final int |
INTERACTION_ANNIHILATE_ERASER |
7 |
public static final int |
INTERACTION_BETA_IDENTITY |
1 |
public static final int |
INTERACTION_BETA_REDUCTION |
0 |
public static final int |
INTERACTION_COMMUTE_DELIMITER |
10 |
public static final int |
INTERACTION_COMMUTE_DUPLICATOR |
11 |
public static final int |
INTERACTION_DUPLICATE_ABSTRACTOR |
12 |
public static final int |
INTERACTION_DUPLICATE_APPLICATOR |
14 |
public static final int |
INTERACTION_DUPLICATE_IDENTITY |
13 |
public static final int |
INTERACTION_ERASE_ABSTRACTOR |
16 |
public static final int |
INTERACTION_ERASE_APPLICATOR |
18 |
public static final int |
INTERACTION_ERASE_DELIMITER |
15 |
public static final int |
INTERACTION_ERASE_DUPLICATOR |
19 |
public static final int |
INTERACTION_ERASE_IDENTITY |
17 |
public static final int |
INTERACTION_EXTRUDE_ABSTRACTOR |
2 |
public static final int |
INTERACTION_EXTRUDE_APPLICATOR |
5 |
public static final int |
INTERACTION_EXTRUDE_CLOSED_ABSTRACTOR |
4 |
public static final int |
INTERACTION_EXTRUDE_DUPLICATOR |
6 |
public static final int |
INTERACTION_EXTRUDE_IDENTITY |
3 |
public static final int |
INTERACTION_TYPE_COUNT |
20 |
public static final int |
OPERATOR_TYPE_COUNT |
5 |
public static final int |
TYPE_ABSTRACTOR |
2 |
public static final int |
TYPE_APPLICATOR |
3 |
public static final int |
TYPE_DELIMITER |
1 |
public static final int |
TYPE_DUPLICATOR |
4 |
public static final int |
TYPE_ERASER |
0 |
org.xmloperator.lambda.net.model.Port | ||
public static final int |
PORT_TYPE_COUNT |
12 |
public static final int |
TYPE_ABSTRACTOR_BIND |
5 |
public static final int |
TYPE_ABSTRACTOR_BODY |
4 |
public static final int |
TYPE_ABSTRACTOR_INPUT |
3 |
public static final int |
TYPE_APPLICATOR_ARGUMENT |
8 |
public static final int |
TYPE_APPLICATOR_BODY |
7 |
public static final int |
TYPE_APPLICATOR_INPUT |
6 |
public static final int |
TYPE_DELIMITER_BODY |
2 |
public static final int |
TYPE_DELIMITER_INPUT |
1 |
public static final int |
TYPE_DUPLICATOR_INPUT1 |
9 |
public static final int |
TYPE_DUPLICATOR_INPUT2 |
10 |
public static final int |
TYPE_DUPLICATOR_OUTPUT |
11 |
public static final int |
TYPE_ERASER_PORT |
0 |
org.xmloperator.lambda.tree.model.Term | ||
public static final int |
TYPE_ABSTRACTION |
2 |
public static final int |
TYPE_APPLICATION |
3 |
public static final int |
TYPE_ENDOFSCOPE |
1 |
public static final int |
TYPE_LEAF |
0 |
org.xmloperator.lambda.tree.serialize.PrefixedSerializer | ||
public static final java.lang.String |
STYLE_API |
"veac" |
public static final java.lang.String |
STYLE_SCOPE |
"0/\\@" |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |