|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
de.uni_tuebingen.* |
---|
de.uni_tuebingen.sfb.lichtenstein.binarytrees.FormulaParser | ||
---|---|---|
public static final String |
CATEGORY |
"cat" |
public static final String |
CONJUNCTION |
"&" |
public static final String |
CONTAINMENT |
"in" |
public static final String |
DISJUNCTION |
"|" |
public static final String |
DOMINANCE |
">>" |
public static final String |
EQUALITY |
"=" |
public static final String |
FIRST_ORDER_EXISTENTIAL |
"E1" |
public static final String |
FIRST_ORDER_UNIVERSAL |
"A1" |
public static final String |
FUNCTION |
"fct" |
public static final String |
IMMEDIATE_DOMINANCE |
">" |
public static final String |
IMMEDIATE_PRECEDENCE |
"." |
public static final String |
IMPLICATION |
"->" |
public static final String |
LEMMA |
"lemma" |
public static final String |
MORPHOLOGY |
"morph" |
public static final String |
NEGATION |
"!" |
public static final String |
PRECEDENCE |
".." |
public static final String |
PROPER_DOMINANCE |
">+" |
public static final String |
SECOND_ORDER_EXISTENTIAL |
"E2" |
public static final String |
SECOND_ORDER_UNIVERSAL |
"A2" |
public static final String |
SENTENCE |
"sent" |
public static final String |
WORD |
"word" |
de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer | ||
---|---|---|
public static final int |
CATEGORY |
7 |
public static final int |
CLOSE |
5 |
public static final int |
CONJUNCTION |
23 |
public static final int |
CONTAINMENT |
18 |
public static final int |
DISJUNCTION |
22 |
public static final int |
DOMINANCE |
15 |
public static final int |
EOF |
-1 |
public static final int |
EQUALITY |
12 |
public static final int |
EQUIVALENCE |
21 |
public static final int |
FIRST_ORDER_EXISTENTIAL |
27 |
public static final int |
FIRST_ORDER_UNIVERSAL |
26 |
public static final int |
FUNCTION |
6 |
public static final int |
IDENTIFIER |
32 |
public static final int |
IMMEDIATE_DOMINANCE |
14 |
public static final int |
IMMEDIATE_PRECEDENCE |
16 |
public static final int |
IMPLICATION |
20 |
public static final int |
LEMMA |
9 |
public static final int |
LINE_COMMENT |
28 |
public static final int |
MORPHOLOGY |
10 |
public static final int |
NEGATION |
19 |
public static final int |
NEWLINE |
29 |
public static final int |
OPEN |
4 |
public static final int |
PRECEDENCE |
17 |
public static final int |
PROPER_DOMINANCE |
13 |
public static final int |
SECOND_ORDER_EXISTENTIAL |
25 |
public static final int |
SECOND_ORDER_UNIVERSAL |
24 |
public static final int |
SENTENCE |
11 |
public static final int |
WHITESPACE |
31 |
public static final int |
WORD |
8 |
public static final int |
WS |
30 |
de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser | ||
---|---|---|
public static final int |
CATEGORY |
7 |
public static final int |
CLOSE |
5 |
public static final int |
CONJUNCTION |
23 |
public static final int |
CONTAINMENT |
18 |
public static final int |
DISJUNCTION |
22 |
public static final int |
DOMINANCE |
15 |
public static final int |
EOF |
-1 |
public static final int |
EQUALITY |
12 |
public static final int |
EQUIVALENCE |
21 |
public static final int |
FIRST_ORDER_EXISTENTIAL |
27 |
public static final int |
FIRST_ORDER_UNIVERSAL |
26 |
public static final int |
FUNCTION |
6 |
public static final int |
IDENTIFIER |
32 |
public static final int |
IMMEDIATE_DOMINANCE |
14 |
public static final int |
IMMEDIATE_PRECEDENCE |
16 |
public static final int |
IMPLICATION |
20 |
public static final int |
LEMMA |
9 |
public static final int |
LINE_COMMENT |
28 |
public static final int |
MORPHOLOGY |
10 |
public static final int |
NEGATION |
19 |
public static final int |
NEWLINE |
29 |
public static final int |
OPEN |
4 |
public static final int |
PRECEDENCE |
17 |
public static final int |
PROPER_DOMINANCE |
13 |
public static final int |
SECOND_ORDER_EXISTENTIAL |
25 |
public static final int |
SECOND_ORDER_UNIVERSAL |
24 |
public static final int |
SENTENCE |
11 |
public static final int |
WHITESPACE |
31 |
public static final int |
WORD |
8 |
public static final int |
WS |
30 |
de.uni_tuebingen.sfb.lichtenstein.main.MonaSearch | ||
---|---|---|
public static final String |
COPYRIGHT |
"\u00a9 2007 \u2013 2008 Hendrik Maryns" |
public static final String |
PROGRAM_NAME |
"MonaSearch" |
public static final String |
VERSION |
"0.4" |
de.uni_tuebingen.sfb.lichtenstein.main.PreferenceKeys | ||
---|---|---|
public static final String |
baseFileDirPrefKey |
"save-dir" |
public static final String |
heightPrefKey |
"height" |
public static final String |
queriesFilePrefKey |
"queries-file" |
public static final String |
resultHeightPrefKey |
"result-height" |
public static final String |
resultsDirPrefKey |
"results-dir" |
public static final String |
resultWidthPrefKey |
"result-width" |
public static final String |
resultXPrefKey |
"result-x" |
public static final String |
resultYPrefKey |
"result-y" |
public static final String |
treebankPrefKey |
"treebank" |
public static final String |
welcomePrefKey |
"welcome" |
public static final String |
widthPrefKey |
"width" |
public static final String |
xPrefKey |
"x" |
public static final String |
yPrefKey |
"y" |
de.uni_tuebingen.sfb.lichtenstein.treebanks.TreebankConverter | ||
---|---|---|
public static final String |
NEGRA_EXPORT_FILE_ENDING |
"export" |
public static final String |
OBJECT_FILE_ENDING |
"tobj" |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |