Class LotteryDialogueTest2
- java.lang.Object
-
- net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest2
-
public class LotteryDialogueTest2 extends java.lang.Object
Main class for empirical evaluation in [Hunter, Thimm. 2015, to appear]- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description LotteryDialogueTest2()
-
Method Summary
Modifier and Type Method Description static void
main(java.lang.String[] args)
Main method for evaluation.
-
-
-
Field Detail
-
semantics
public static Semantics semantics
The argumentation semantics used
-
timeout
public static int timeout
Timeout
-
rep
public static int rep
Number of repetitions per file
-
-
Method Detail
-
main
public static void main(java.lang.String[] args) throws ParserException, java.io.FileNotFoundException, java.io.IOException
Main method for evaluation.- Parameters:
args
- additional arguments- Throws:
ParserException
- if parsing failedjava.io.FileNotFoundException
- if a file could not be foundjava.io.IOException
- if some general IO issue occurred
-
-