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) |