public class LotteryDialogueTest2
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
rep
Number of repetitions per file
|
static Semantics |
semantics
The argumentation semantics used
|
static int |
timeout
Timeout
|
Constructor and Description |
---|
LotteryDialogueTest2() |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args)
Main method for evaluation.
|
public static Semantics semantics
public static int timeout
public static int rep
public static void main(java.lang.String[] args) throws ParserException, java.io.FileNotFoundException, java.io.IOException
args
- ParserException
java.io.FileNotFoundException
java.io.IOException