|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| jdrew.oo.* |
|---|
| jdrew.oo.td.BackwardReasoner.Goal | ||
|---|---|---|
public static final int |
HAS_BUILTIN_SOLUTION_STATE |
3 |
public static final int |
HAS_NAF_SOLUTION_STATE |
5 |
public static final int |
HAS_NO_BUILTIN_SOLUTION_STATE |
4 |
public static final int |
HAS_NO_NAF_SOLUTION_STATE |
6 |
public static final int |
HAS_NO_SUBGOALLIST_STATE |
2 |
public static final int |
HAS_SUBGOALLIST_STATE |
1 |
public static final int |
HAS_UNCONSUMED_NAF_SOLUTION_STATE |
7 |
public static final int |
INITIAL_STATE |
0 |
public static final int |
NO_AUTO_PROPAGATE |
0 |
public static final int |
PROPAGATE_EAGERLY |
2 |
public static final int |
PROPAGATE_WHEN_SOLVED |
1 |
public static final int |
PROVE_BY_BUILTIN |
1 |
public static final int |
PROVE_BY_NAF |
2 |
public static final int |
PROVE_BY_SUBGOALLIST |
0 |
| jdrew.oo.td.BackwardReasoner.SubGoalListIterator | ||
|---|---|---|
public static final int |
APPLY_TO_GOAL |
2 |
public static final int |
APPLY_TO_GOAL_AND_GOALLIST |
1 |
public static final int |
APPLY_TO_GOALLIST |
0 |
| jdrew.oo.util.RuleMLParser | ||
|---|---|---|
public static final int |
RULEML88 |
1 |
public static final int |
RULEML91 |
2 |
| jdrew.oo.util.SymbolTable | ||
|---|---|---|
public static final int |
IREST |
2147483647 |
| jdrew.oo.util.Term | ||
|---|---|---|
public static final java.lang.String |
regex |
"^(-)?[a-zA-Z0-9\\$][a-zA-Z0-9_\\$\\.]*$" |
| jdrew.oo.util.Types | ||
|---|---|---|
public static final java.lang.String |
FLOAT |
"Real" |
public static final int |
INOTHING |
-1 |
public static final java.lang.String |
INTEGER |
"Integer" |
public static final int |
IOBJECT |
0 |
public static final int |
ITHING |
0 |
public static final java.lang.String |
NOTHING |
"Nothing" |
public static final java.lang.String |
NUMERIC |
"Numeric" |
public static final java.lang.String |
OBJECT |
"Thing" |
public static final java.lang.String |
STRING |
"String" |
| jdrew.oo.util.parsing.POSLParserTokenTypes | ||
|---|---|---|
public static final int |
ARROW |
15 |
public static final int |
BANG |
12 |
public static final int |
COLON |
16 |
public static final int |
COMMA |
6 |
public static final int |
COMMENT |
24 |
public static final int |
EOF |
1 |
public static final int |
HAT |
10 |
public static final int |
IMP |
4 |
public static final int |
LBRACE |
22 |
public static final int |
LBRACK |
13 |
public static final int |
LPAREN |
7 |
public static final int |
MLCOMMENT |
25 |
public static final int |
NULL_TREE_LOOKAHEAD |
3 |
public static final int |
PERIOD |
5 |
public static final int |
PIPE |
11 |
public static final int |
QMARK |
18 |
public static final int |
QSYMBOL |
20 |
public static final int |
RBRACE |
23 |
public static final int |
RBRACK |
14 |
public static final int |
RPAREN |
8 |
public static final int |
SEMI |
9 |
public static final int |
SYMBOL |
19 |
public static final int |
URI |
21 |
public static final int |
USCORE |
17 |
public static final int |
WS |
26 |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||