|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| org.eclipse.* |
|---|
| org.eclipse.palamedes.gdl.connection.NanoHTTPD | ||
|---|---|---|
public static final java.lang.String |
MIME_DEFAULT_BINARY |
"application/octet-stream" |
public static final java.lang.String |
MIME_HTML |
"text/html" |
public static final java.lang.String |
MIME_PLAINTEXT |
"text/plain" |
| org.eclipse.palamedes.gdl.connection.Player | ||
|---|---|---|
protected static final java.lang.String |
STR_ERROR1 |
"Play message for the wrong match " |
| org.eclipse.palamedes.gdl.connection.Response | ||
|---|---|---|
public static final java.lang.String |
HTTP_BADREQUEST |
"400 Bad Request" |
public static final java.lang.String |
HTTP_FORBIDDEN |
"403 Forbidden" |
public static final java.lang.String |
HTTP_INTERNALERROR |
"500 Internal Server Error" |
public static final java.lang.String |
HTTP_NOTFOUND |
"404 Not Found" |
public static final java.lang.String |
HTTP_NOTIMPLEMENTED |
"501 Not Implemented" |
public static final java.lang.String |
HTTP_OK |
"200 OK" |
public static final java.lang.String |
HTTP_REDIRECT |
"301 Moved Permanently" |
| org.eclipse.palamedes.gdl.core.model.GameFactory | ||
|---|---|---|
public static final java.lang.String |
JAVAPROVER |
"JavaProver" |
public static final java.lang.String |
JOCULAR |
"Jocular" |
public static final java.lang.String |
PROLOGPROVER |
"PrologProver" |
| org.eclipse.palamedes.gdl.core.model.IStatistic | ||
|---|---|---|
public static final java.lang.String |
S_MOVE_CALL |
"Legal Move Calls" |
public static final java.lang.String |
S_MOVE_COUNT |
"Legal Move Count" |
public static final java.lang.String |
S_MOVE_TIME |
"Legal Move Time (ms)" |
public static final java.lang.String |
S_NODE_CALL |
"Next Node Calls" |
public static final java.lang.String |
S_STATE_CALL |
"Next State Calls" |
public static final java.lang.String |
S_STATE_TIME |
"Next State Time (ms)" |
| org.eclipse.palamedes.gdl.core.simulation.StepInfo | ||
|---|---|---|
public static final java.lang.String |
MOVES |
"Moves" |
public static final java.lang.String |
NODE |
"Node" |
public static final java.lang.String |
STATE |
"State" |
public static final java.lang.String |
STATS |
"Stats" |
public static final java.lang.String |
STEP |
"Step" |
| org.eclipse.palamedes.gdl.core.simulation.strategies.AbstractStrategy | ||
|---|---|---|
protected static final int |
maxStepsDefault |
500 |
| org.eclipse.palamedes.kif.core.ast.ASTNode | ||
|---|---|---|
public static final int |
COMMENT |
16 |
public static final int |
CONJUNCTION |
1 |
public static final int |
DISJUNCTION |
2 |
public static final int |
FORM |
3 |
public static final int |
FUNTERM |
4 |
public static final int |
HORNSENT |
5 |
public static final int |
IMPLICATION |
6 |
public static final int |
INDVAR |
7 |
public static final int |
LOGCONST |
8 |
public static final int |
NEGATION |
10 |
public static final int |
OBJCONST |
11 |
public static final int |
OPERATOR |
12 |
public static final int |
RELSENT |
13 |
public static final int |
SEQUENCE |
15 |
| org.eclipse.palamedes.kif.core.ast.visitor.DefaultVisitor | ||
|---|---|---|
public static final boolean |
IMP_HEAD_FIRST |
true |
public static final boolean |
IMP_HEAD_LAST |
false |
| org.eclipse.palamedes.kif.core.ast.visitor.NotationWriter | ||
|---|---|---|
public static final int |
INFIX |
1 |
public static final int |
PREFIX |
2 |
| org.eclipse.palamedes.kif.core.knowledgebase.KBEntry | ||
|---|---|---|
public static final java.lang.String |
P_ARITY |
"Arity" |
public static final java.lang.String |
P_IMP_BODY |
"Implication Body" |
public static final java.lang.String |
P_IMP_HEAD |
"Implication Head" |
public static final java.lang.String |
P_NAME |
"Name" |
public static final java.lang.String |
P_NODES |
"Node List" |
public static final java.lang.String |
P_TOP_LEVEL_NODES |
"Top Level Nodes" |
public static final java.lang.String |
P_TYPE |
"Type" |
public static final java.lang.String |
V_FUN |
"Function" |
public static final java.lang.String |
V_REL |
"Relation" |
| org.eclipse.palamedes.kif.core.parser.KIFSymbols | ||
|---|---|---|
public static final int |
AND |
5 |
public static final int |
CLOSE |
3 |
public static final int |
COMMENT |
10 |
public static final int |
CONSTANT |
9 |
public static final int |
EOF |
0 |
public static final int |
error |
1 |
public static final int |
IMP |
7 |
public static final int |
NOT |
4 |
public static final int |
OPEN |
2 |
public static final int |
OR |
6 |
public static final int |
VARIABLE |
8 |
| org.eclipse.palamedes.ui.IPalamedesConstants | ||
|---|---|---|
public static final java.lang.String |
ID_GAME_STATE_VIEW |
"org.eclipse.palamedes.ui.views.GameStateView" |
public static final java.lang.String |
ID_GDL_PERSPECTIVE |
"org.eclipse.palamedes.ui.perspectives.GDLPerspective" |
public static final java.lang.String |
ID_GGP_PERSPECTIVE |
"org.eclipse.palamedes.ui.perspectives.GGPPerspective" |
public static final java.lang.String |
ID_KNOWLEDGE_BASE_VIEW |
"org.eclipse.palamedes.ui.views.KnowledgeBaseView" |
public static final java.lang.String |
ID_STATISTIC_VIEW |
"org.eclipse.palamedes.ui.views.StatisticView" |
| org.eclipse.palamedes.ui.PalamedesUI | ||
|---|---|---|
public static final java.lang.String |
GDL_PARTITIONING |
"gdl_partitioning" |
public static final java.lang.String |
ICON_AND |
"icon.and" |
public static final java.lang.String |
ICON_CONTROL |
"icon.Tc" |
public static final java.lang.String |
ICON_COUNTER |
"icon.C" |
public static final java.lang.String |
ICON_FACT |
"icon.f" |
public static final java.lang.String |
ICON_FUN |
"icon.fun" |
public static final java.lang.String |
ICON_GDL |
"icon.gdl" |
public static final java.lang.String |
ICON_IMP |
"icon.imp" |
public static final java.lang.String |
ICON_MOVE |
"icon.Move" |
public static final java.lang.String |
ICON_NOT |
"icon.not" |
public static final java.lang.String |
ICON_OBJ |
"icon.obj" |
public static final java.lang.String |
ICON_OP |
"icon.op" |
public static final java.lang.String |
ICON_OR |
"icon.or" |
public static final java.lang.String |
ICON_ORDER_S |
"icon.Os" |
public static final java.lang.String |
ICON_REL |
"icon.rel" |
public static final java.lang.String |
ICON_STATE |
"icon.State" |
public static final java.lang.String |
ICON_STEP |
"icon.Cs" |
public static final java.lang.String |
ICON_TOGGLE |
"icon.T" |
public static final java.lang.String |
ICON_VAR |
"icon.var" |
public static final int |
INTERNAL_ERROR |
10001 |
public static final java.lang.String |
PLUGIN_ID |
"org.eclipse.palamedes.ui" |
| org.eclipse.palamedes.ui.editor.MainEditor | ||
|---|---|---|
public static final java.lang.String |
ID |
"org.eclipse.palamdes.ui.editor.MainEditor" |
| org.eclipse.palamedes.ui.editor.rulegraph.RuleGraphCreator | ||
|---|---|---|
public static final int |
SHOW_STEP1 |
1 |
public static final int |
SHOW_STEP2a |
2 |
public static final int |
SHOW_STEP2b |
3 |
public static final int |
SHOW_STEP3 |
4 |
| org.eclipse.palamedes.ui.editor.sourcecode.PartitionScanner | ||
|---|---|---|
public static final java.lang.String |
GDL_COMMENT |
"gdl_comment" |
public static final java.lang.String |
GDL_RULE |
"gdl_rule" |
| org.eclipse.palamedes.ui.pages.knowledgebase.KBLabelProvider | ||
|---|---|---|
public final int |
TAB_WIDTH |
4 |
| org.eclipse.palamedes.ui.pages.knowledgebase.KBPage | ||
|---|---|---|
public static final int |
F_EnvironmentLookup |
4 |
public static final int |
F_GDL |
5 |
public static final int |
F_ImplicationBody |
3 |
public static final int |
F_ImplicationHeads |
2 |
public static final int |
F_TopLevelNodes |
1 |
| org.eclipse.palamedes.ui.preferences.PreferenceConstants | ||
|---|---|---|
public static final java.lang.String |
P_BOOLEAN |
"booleanPreference" |
public static final java.lang.String |
P_NOTATION |
"notationPreference" |
public static final java.lang.String |
P_PATH |
"pathPreference" |
public static final java.lang.String |
P_STRING |
"stringPreference" |
| org.eclipse.palamedes.ui.utils.SFactory | ||
|---|---|---|
public static final int |
FULL |
2 |
public static final int |
NO_NOOP |
4 |
public static final int |
POSITIVE |
8 |
public static final int |
POSITIVE_NEGATIVE |
4 |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||