Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
AGENTS_PER_RUN |
3 |
public static final int |
DEADLINE_ROUNDS |
0 |
public static final int |
DEADLINE_TIME |
180 |
public static final int |
NUMBER_OF_RUNS |
1 |
public static final int |
PROFILES_PER_RUN |
3 |
public static final boolean |
REPETITION_ALLOWED |
false |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
DAY |
86400 |
public static final int |
HOUR |
3600 |
public static final int |
MINUTE |
60 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
AGENT_REPOSITORY |
"agentrepository.xml" |
public static final java.lang.String |
DOMAIN_REPOSITORY |
"domainrepository.xml" |
public static final java.lang.String |
PROTOCOL_REPOSITORY |
"protocolrepository.xml" |
public static final java.lang.String |
SIMULATOR_REPOSITORY |
"simulatorrepository.xml" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
ENUMERATION_CUTOFF |
100000 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
DEFAULT_SUPPRESSION_NUMBER |
5 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
VERSION |
"6.0.0" |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final java.lang.String |
DISCRETE |
"Discrete" |
protected static final java.lang.String |
INTEGER |
"Integer" |
protected static final java.lang.String |
REAL |
"Real" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
MAX_TEXT_OUTPUT |
100000 |
public static final int |
MAX_UTIL_HISTORY |
100000 |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final int |
BUTTONSIZE |
16 |
protected static final int |
WIDTHDELTA |
5 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
DELIMITER |
";" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
ALTERNATING_OFFERS_AGENT_A_INDEX |
0 |
public static final int |
ALTERNATING_OFFERS_AGENT_B_INDEX |
1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
IS_MEDIATOR |
"isMediator" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
VARIABLE_AGENT_A |
2 |
public static final int |
VARIABLE_AGENT_B |
3 |
public static final int |
VARIABLE_DB_LOCATION |
8 |
public static final int |
VARIABLE_DB_PASSWORD |
10 |
public static final int |
VARIABLE_DB_SESSIONNAME |
11 |
public static final int |
VARIABLE_DB_USER |
9 |
public static final int |
VARIABLE_DECOUPLED_A |
6 |
public static final int |
VARIABLE_DECOUPLED_B |
7 |
public static final int |
VARIABLE_NUMBER_OF_RUNS |
4 |
public static final int |
VARIABLE_PROFILE |
1 |
public static final int |
VARIABLE_PROTOCOL |
0 |
public static final int |
VARIABLE_TOURNAMENT_OPTIONS |
5 |