public class Main
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
HistoryFileName |
static java.lang.String |
ReturnOutputString |
| Constructor and Description |
|---|
Main() |
| Modifier and Type | Method and Description |
|---|---|
void |
GetARCHERPosition() |
int |
GetInitialPosition() |
java.lang.String |
RunADTAnalysis(boolean RunFullAnalysis,
java.lang.String InputHistoryFile) |